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