Parameter Check_closed.K

include Repr.S
type t
val t : t Repr__Type.ty
val encoding : t Data_encoding.t