Module Register

module Register: sig .. end

Internal State


module Result_pair: Datatype.Pair_with_collections(Datatype.Bool)(Datatype.Bool)(sig
val module_name : string
end)
module Result: State_builder.Hashtbl(Datatype.Hashtbl(Result_pair.Hashtbl)(Result_pair)(sig
val module_name : string
end))(Project.Datatype)(sig
val name : string
val size : int
val dependencies : State.t list
end)
module P: Sparecode_params

State_builder

val unjournalized_rm_unused_globals : Globs.Result.key -> Project.t -> Globs.Result.data
val journalized_rm_unused_globals : Globs.Result.key -> Project.t -> Project.t
val rm_unused_globals : ?new_proj_name:Globs.Result.key -> ?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
val main : unit -> unit