Digest.Unpacked
type var = Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t
type t = bool Bitstring_lib.Bitstring.Lsb_first.t
val typ : ( var, t ) Impl.Typ.t
val project : var -> Impl.Field.Var.t