Up
Next
Module type
Type_generic_intf.M.S0
module type
S0 =
sig
..
end
type
t
include
Typerepable.S0
val
compute
:
t
X.t