private static jpl.fli.term_t ToFLI(uint hndle) { jpl.fli.term_t t = new jpl.fli.term_t(); t.value = hndle; return(t); }
private static jpl.fli.term_t ToFLI(uint hndle) { jpl.fli.term_t t = new jpl.fli.term_t(); t.value = hndle; return t; }