Up
Index of module types
S
S
[
Pxp_core_types
]
S
is the signature of
I
, defined below.