Up
Index of module types
D
Definitions
[
Paje
]
The input signature of
Paje.Make
, that is static definition of Pajé types.
S
S
[
Paje
]
The output signature of
Paje.Make
, that is type-safe interface to Pajé functions.