Checked.Digest
type t = Pickles.Impls.Step.Internal_Basic.Field.Var.t
val to_bits : ?length:int -> t -> Pickles.Impls.Step.Internal_Basic.Boolean.var list