Module Optim_vars

module Optim_vars: sig .. end

type optim_vars 

val all_optimvars : optim_vars

val empty_optimvars : optim_vars

val single_optimvars : Xquery_common_ast.cvname -> optim_vars

val member : Xquery_common_ast.cvname -> optim_vars -> bool

val union : optim_vars -> optim_vars -> optim_vars

val intersection : optim_vars -> optim_vars -> optim_vars

val remove : Xquery_common_ast.cvname -> optim_vars -> optim_vars

val remove_list : Xquery_common_ast.cvname list ->
       optim_vars -> optim_vars