module OptionB: functor (B : Base) -> sig .. end
functor (
B
:
Base
) ->
sig
end
type t = B.t option
B.t option
val compare : t -> t -> int
t -> t -> int