Up
–
alt-ergo-lib
»
AltErgoLib
» Ac
Module
AltErgoLib.Ac
module
type
S
=
sig
...
end
module
Make
(
X
:
Sig.X
) :
S
with
type
r
=
X.r