Module Tick.Number

type t
val (+) : t -> t -> t
val (-) : t -> t -> t
val constant : Full.Internal_Basic.Field.t -> t
val one : t
val zero : t
val if_ : Full.Internal_Basic.Boolean.var -> then_:t -> else_:t -> t Full.Internal_Basic.Checked.t
val of_bits : Full.Internal_Basic.Boolean.var list -> t
val div_pow_2 : t -> [ `Two_to_the of int ] -> t Full.Internal_Basic.Checked.t
val ceil_div_pow_2 : t -> [ `Two_to_the of int ] -> t Full.Internal_Basic.Checked.t
val mul_pow_2 : t -> [ `Two_to_the of int ] -> t Full.Internal_Basic.Checked.t
val mod_pow_2 : t -> [ `Two_to_the of int ] -> t Full.Internal_Basic.Checked.t
val of_pow_2 : [ `Two_to_the of int ] -> t
val clamp_to_n_bits : t -> int -> t Full.Internal_Basic.Checked.t