module Register: sig
.. end
Internal State
Internal State
module Result_pair: Datatype.Pair
(
Datatype.Bool
)
(
Datatype.Bool
)
module Result: State_builder.Hashtbl
(
Datatype.Hashtbl
(
Hashtbl.Make
(
Result_pair
)
)
(
Result_pair
)
(
sig
end
)
)
(
Project.Datatype
)
(
sig
end
)
module P: Sparecode_params
State_builder
val unjournalized_rm_unused_globals : Project.t -> unit -> Globs.Result.data
val journalized_rm_unused_globals : Project.t -> unit -> Project.t
val rm_unused_globals : ?project:Project.t -> unit -> Project.t
val run : bool -> bool -> Globs.Result.data
val journalized_get : Datatype.Bool.t -> Datatype.Bool.t -> Project.t
val get : select_annot:Datatype.Bool.t ->
select_slice_pragma:Datatype.Bool.t -> Project.t
Initialisation of the sparecode plugin
val main : unit -> unit