Up
Module
Make
(
S
:
Basic_S
) :
S
with
type
t
=
S.t
and
type
a
=
S.a
and
type
b
=
S.b