Previous
Up
Next
Module type
Sig.ORDERED_TYPE_DFT
module type
ORDERED_TYPE_DFT =
sig
..
end
include
Sig.ORDERED_TYPE
val
default :
t