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