Module type GenVars.STATE

module type STATE = sig .. end

type obs 

val add_wl : obs -> unit