module Register:This visitor also performs a deep copy.sig
..end
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
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
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
val compute : unit -> unit
val main : unit -> unit