module Register:This visitor also performs a deep copy.sig
..end
Nothing is exported here
Functions are registered in Db
.
exception Cannot_expand
class propagate :Project.t -> Cilutil.StringSet.t -> cast_intro:bool ->
object
..end
module Result:Computation.Hashtbl
(
sig
typet =
Cilutil.StringSet.t * bool
val hash :'a -> int
val equal :Cilutil.StringSet.t * 'a -> Cilutil.StringSet.t * 'a -> bool
end
)
(
Datatype.Project
)
(
sig
end
)
val journalized_get : Cilutil.StringSet.t -> bool -> Result.data
val get : Cilutil.StringSet.t -> cast_intro:bool -> Result.data
val compute : unit -> unit
val main : unit -> unit