Module Wp.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