Up
Module
Make0
(
X
:
Named_intf.S0
) :
S0
with
type
t
:=
X.t
Parameters
X
:
Named_intf.S0
Signature
type
t
val
typename_of_t :
t
typename