Module type Number_intf.S

type _ checked
type field
type field_var
type bool_var
type t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t checked
val constant : field -> t
val one : t
val zero : t
val if_ : bool_var -> then_:t -> else_:t -> t checked
val (<) : t -> t -> bool_var checked
val (>) : t -> t -> bool_var checked
val (<=) : t -> t -> bool_var checked
val (>=) : t -> t -> bool_var checked
val (=) : t -> t -> bool_var checked
val min : t -> t -> t checked
val max : t -> t -> t checked
val to_var : t -> field_var
val of_bits : bool_var list -> t
val to_bits : t -> bool_var list checked
val div_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val ceil_div_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val mul_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val mod_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val of_pow_2 : [ `Two_to_the of int ] -> t
val clamp_to_n_bits : t -> int -> t checked