sig
  val get : unit -> SlicingTypes.sl_project
  val may : (unit -> unit) -> unit
  val may_map : dft:'-> (unit -> 'a) -> 'a
end