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