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