functor
(
Conf
:
Config
) (
L
:
Law
)
->
sig
val
desc : string
val
test :
Random
.
State
.t
->
unit
end