module Vale.Math.Poly2.Galois.IntTypes
open FStar.Mul
friend Lib.IntTypes

#reset-options "--z3rlimit 20"
let define_logand t a b = ()

#reset-options "--z3rlimit 20"
let define_logor t a b = ()

#reset-options "--z3rlimit 20"
let define_logxor t a b = ()

#reset-options "--z3rlimit 20"
let define_eq_mask t a b = ()