functor
(
P
:
Param
)
->
Acyclic_t