sig
type
obs
val
add_wl :
GenVars
.
STATE
.obs
->
unit
end