Module WpContext

module WpContext: sig .. end
Model Registration

type model 
type scope = 
| Global
| Kf of Kernel_function.t
type tuning = unit -> unit 
type hypotheses = unit -> MemoryContext.clause list 
val register : id:string ->
?descr:string ->
?tuning:tuning list ->
?hypotheses:hypotheses -> unit -> model
val get_descr : model -> string
val get_emitter : model -> Emitter.t
val compute_hypotheses : model -> Kernel_function.t -> MemoryContext.clause list
type context = model * scope 
type t = context 
module S: sig .. end
module MODEL: sig .. end
module SCOPE: sig .. end
val is_defined : unit -> bool
val on_context : context -> ('a -> 'b) -> 'a -> 'b
val get_model : unit -> model
val get_scope : unit -> scope
val get_context : unit -> context
val directory : unit -> string
Current model in "-wp-out" directory
module type Entries = sig .. end
module type Registry = sig .. end
module Index: 
functor (E : Entries-> Registry with module E = E
projectified, depend on the model, not serialized
module Static: 
functor (E : Entries-> Registry with module E = E
projectified, independent from the model, not serialized
module type Key = sig .. end
module type Data = sig .. end
module type IData = sig .. end
module type Generator = sig .. end
module Generator: 
functor (K : Key-> 
functor (D : Data with type key = K.t-> Generator with type key = D.key and type data = D.data
projectified, depend on the model, not serialized
module StaticGenerator: 
functor (K : Key-> 
functor (D : Data with type key = K.t-> Generator with type key = D.key and type data = D.data
projectified, independent from the model, not serialized
module GeneratorID: 
functor (K : Key-> 
functor (D : IData with type key = K.t-> Generator with type key = D.key and type data = D.data
projectified, depend on the model, not serialized
module StaticGeneratorID: 
functor (K : Key-> 
functor (D : IData with type key = K.t-> Generator with type key = D.key and type data = D.data
projectified, independent from the model, not serialized