Small.Packed
type var = Impl.Field.Var.t
type value = Impl.Field.t
val typ : ( var, value ) Impl.Typ.t
val size_in_bits : int