Module type Value.Make_subtype_arg
val here : Core_kernel.Source_code_position.tval name : stringval is_in_subtype : value -> bool
Value.Make_subtype_argval here : Core_kernel.Source_code_position.tval name : stringval is_in_subtype : value -> bool