Module MemLoader

module MemLoader: sig .. end
Compound Loader

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