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