Searched refs:ppl_PIP_Tree_Node_OK (Results 1 – 14 of 14) sorted by relevance
408 external ppl_PIP_Tree_Node_OK:410 = "ppl_PIP_Tree_Node_OK"
357 val ppl_PIP_Tree_Node_OK: val
1523 ppl_PIP_Tree_Node_OK(value caml_node) try { in ppl_PIP_Tree_Node_OK() function
595 ppl_PIP_Tree_Node_OK handle
185 ppl_PIP_Tree_Node_OK/1,
116 ppl_PIP_Tree_Node_OK/1,
1061 ppl_PIP_Tree_Node_OK(Prolog_term_ref t_pip_tree);
915 ppl_PIP_Tree_Node_OK(+Handle)
3097 ppl_PIP_Tree_Node_OK(Prolog_term_ref t_pip) { in ppl_PIP_Tree_Node_OK() function
616 let out = if (ppl_PIP_Tree_Node_OK node)617 then "ppl_PIP_Tree_Node_OK node test succeeded"618 else "ppl_PIP_Tree_Node_OK node test failed"
3077 ppl_PIP_Tree_Node_OK PPL_PROTO((ppl_const_PIP_Tree_Node_t pip));
2372 ppl_PIP_Tree_Node_OK(ppl_const_PIP_Tree_Node_t pip_tree) try { in ppl_PIP_Tree_Node_OK() function
3120 ppl_PIP_Tree_Node_OK PPL_PROTO((ppl_const_PIP_Tree_Node_t pip));
2485 ppl_PIP_Tree_Node_OK(Node),