Lines Matching refs:f
27 identifier f;
31 (E = f(...)) ==
35 (E = f(...)) !=
41 == (E = f(...))
45 != (E = f(...))
51 identifier f;
56 (E = f(...)) ==
59 (E = f(...)) !=
63 == (E = f(...))
66 != (E = f(...))
84 identifier f;
88 E = f(...)
93 f << s.f;
96 try let _ = Hashtbl.find negtable f in ()
97 with Not_found -> Hashtbl.add negtable f ()
101 identifier f;
104 E = f(...)
113 f << r.f;
116 try let _ = Hashtbl.find negtable f in ()
124 identifier r.f;
127 E = f(...)
148 identifier r.f;
153 E = f(...)