Parameter Check_closed.V

type t
val t : t Repr__.Type.t