module Register: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_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
val compute : unit -> unit
val main : unit -> unit