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