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