Field_backed.Packed
type var = Impl.Field.Var.t
type value = Impl.Field.t
val typ : ( Impl.Field.Var.t, Impl.Field.t ) Impl.Typ.t
val assert_equal : Impl.Field.Var.t -> Impl.Field.Var.t -> unit Impl.Checked.t
val size_in_bits : int