Up
Index of module types
C
Context
[
ZZ3_sigs
]
Input signature of the functor, only a context.
S
S
[
ZZ3_sigs
]
Output signature of the functor.