val select_ex :
  Mathql.mqrvar ->
  Mathql.mqsvar list list -> Mathql.mqbool -> Mathql.mqsvar list list