module First: functor (T : sig type t end) -> S with type t = T.t
functor (
T
:
sig
type t
end) -> S with type t = T.t
end
) ->
S
with type t = T.t
sig type t end
val append : t -> t -> t
t -> t -> t