let mk_dom = function
  | Dom.Real -> mk_real
  | Dom.Int -> mk_int