Module Descriptions.Check

val t : [ `Check ] Handle.t F.typ