MemLoader
Compound Loader
val cluster : unit -> Definitions.cluster
module type Model = sig ... end
Loader Model for Atomic Values
module Make (M : Model) : sig ... end
Generates Loader for Compound Values
Frama-C