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