Parameter Make_subtype.1-Subtype

type value
val here : Core_kernel.Source_code_position.t
val name : string
val is_in_subtype : value -> bool