Method some

gecode/flatzinc/option.hh:55–60

      return o;
    }
    static Option<Val> some(const Val& v) {
      Option<Val> o;
      o._some = true;
      o._v = v;
      return o;
    }
  };

}}