Searched refs:votype (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
| H A D | bip_tconv.c | 75 p_type_of(value vterm, type term, value votype, type ttype),
348 * FUNCTION NAME: p_type_of(vterm, term, votype,ttype) - logical
355 * votype - type1->val
369 p_type_of(value vterm, type term, value votype, type ttype) argument
375 Check_Output_Atom_Or_Nil(votype, ttype);
390 Return_Unify_Atom(votype, ttype, dtype);
|
Completed in 79 milliseconds