functor (State : sig val clear : Project.project -> unit end->
  functor (Info : INFO-> MINIMAL_OUTPUT