Module Register


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
val module_name : string
end))(Project.Datatype)(sig
val name : string
val size : int
val dependencies : State.t list
val kind : [> `Correctness ]
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