sig val get : unit -> SlicingTypes.sl_project val may : (unit -> unit) -> unit val may_map : none:'a -> (unit -> 'a) -> 'a val self : State.t val reset_slicing : unit -> unit end