Module Register


module Register: sig .. end
This visitor also performs a deep copy.

Nothing is exported here Functions are registered in Db.


module FC_file: File
exception Cannot_expand
class propagate : Project.t -> Datatype.String.Set.t -> cast_intro:bool -> object .. end
This visitor also performs a deep copy.
module Result_pair: Datatype.Pair(Datatype.String.Set)(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 size : int
val name : string
val dependencies : State.t list
val kind : [> `Correctness ]
end)
val journalized_get : Datatype.String.Set.t -> Datatype.Bool.t -> Project.t
val get : Datatype.String.Set.t -> cast_intro:Datatype.Bool.t -> Project.t

Constant Propagation
val compute : unit -> unit
val main : unit -> unit