module Dual: functor (M : S) -> S with type t = M.t
functor (
M
:
S
) ->
with type t = M.t
type t
val append : t -> t -> t
t -> t -> t
val zero : t
t