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