module Make: functor (X : Basic) -> S with type 'a t := 'a X.t
functor (
X
:
Basic
) ->
S
with type 'a t := 'a X.t