sig
  module Api :
    sig
      val get : Cil_datatype.Fundec.Set.t -> cast_intro:bool -> Project.t
      val compute : unit -> unit
      val self : State.t
    end
end