module Register: sig
.. end
Internal State
module Result_pair: Datatype.Pair_with_collections
(
Datatype.Bool
)
(
Datatype.Bool
)
(
sig
end
)
module Result: State_builder.Hashtbl
(
Datatype.Hashtbl
(
Result_pair.Hashtbl
)
(
Result_pair
)
(
sig
end
)
)
(
Project.Datatype
)
(
sig
val name : string
val size : int
val dependencies : State.t list
end
)
module P: Sparecode_params
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