Time.Checkedval typ : ( t, Stable.Latest.t ) Snark_params.Tick.Typ.tval to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.tval (=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.tval (<) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.tval (>) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.tval (<=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.tval (>=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.tval to_field : t -> Snark_params.Tick.Field.Var.tmodule Unsafe : sig ... end