Parameter Make_subtype.1-Subtype
val here : Core_kernel.Source_code_position.t
val name : string
val is_in_subtype : value -> bool
Make_subtype.1-Subtype
val here : Core_kernel.Source_code_position.t
val name : string
val is_in_subtype : value -> bool