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_with_collections(Datatype.String.Set)(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 size : int
val name : string
val dependencies : State.t list
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