Lines Matching defs:te
96 p_dom_check_in(value ve, type te, value vd, type td),
106 p_gec_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres),
107 p_gec_ent_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres),
254 p_dom_check_in(value ve, type te, value vd, type td)
257 Check_Element(ve, te)
258 Succeed_If(!dom_check_in(ve.nint, te, vd.ptr))
829 p_gec_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres)
849 Bind_Var(ve, te, vc.nint, TINT)
854 Bind_Var(ve, te, vc.ptr, tc.kernel)
857 Bind_Var(ve, te, vd.ptr, td.kernel)
871 p_gec_ent_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres)
891 Bind_Var(ve, te, vc.nint, TINT)
896 Bind_Var(ve, te, vc.ptr, tc.kernel)
899 Bind_Var(ve, te, vd.ptr, td.kernel)