module Comp: functor (T : BatOrd.Comp) -> Comp with type t = T.t list
functor (
T
:
BatOrd.Comp
) ->
Comp
with type t = T.t list