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