Module Wpo.SYSTEM

module SYSTEM: State_builder.Ref(Datatype.Make(sig
include Datatype.Undefined

type t = Wpo.system 


val name : string
val reprs : Wpo.system list
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
end))(sig

val name : string
val dependencies : State.t list
val default : unit -> Wpo.system
end)

include State_builder.S

type data 

val set : data -> unit

val get : unit -> data

val clear : unit -> unit