functor
(
C
:
ZZ3_sigs
.
Context
)
->
ZZ3_sigs
.
S