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