let eval_int = {
  eval_symetric = eval_symetric_int;
  eval_antisymetric = eval_antisymetric_int;
}