Module Register


module Register: sig .. end

Internal State




Internal State


module Result: Computation.Hashtbl(Datatype.Couple(Datatype.Bool)(Datatype.Bool))(Datatype.Project)(sig
val name : string
val size : int
val dependencies : 'a list
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 : 'a -> unit