module Comparable (S1 : Comparable_sexpable) (S2 : Comparable_sexpable) : Comparable_sexpable with type t := Make (S1) (S2).t
(
S1
:
Comparable_sexpable
)
S2
with type t := Make (S1) (S2).t
include Comparable.S
include Sexpable.S