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