sig
type optim_vars
val all_optimvars : Optim_vars.optim_vars
val empty_optimvars : Optim_vars.optim_vars
val single_optimvars : Xquery_common_ast.cvname -> Optim_vars.optim_vars
val member : Xquery_common_ast.cvname -> Optim_vars.optim_vars -> bool
val union :
Optim_vars.optim_vars -> Optim_vars.optim_vars -> Optim_vars.optim_vars
val intersection :
Optim_vars.optim_vars -> Optim_vars.optim_vars -> Optim_vars.optim_vars
val remove :
Xquery_common_ast.cvname ->
Optim_vars.optim_vars -> Optim_vars.optim_vars
val remove_list :
Xquery_common_ast.cvname list ->
Optim_vars.optim_vars -> Optim_vars.optim_vars
end