module Comparable:functor (
S1
:
Comparable_sexpable
) ->
functor (
S2
:
Comparable_sexpable
) ->
Comparable.S
with type comparable = S1.comparable * S2.comparable
Parameters: |
|
include Comparable.S_common
module Map:Core_map.S
with type key = comparable
module Set:Core_set.S
with type elt = comparable