Lines Matching defs:between
37 "between frag "^
42 "in frag "^Int.toString(nf1)^", between row "^
48 ", between cols "^
54 "between line "^
68 "between "^locn_point_toString s^" and "^locn_point_toString e
112 fun between (Loc(lploc,_)) (Loc(_,rploc)) = Loc(lploc,rploc)
113 | between Loc_None rloc = rloc
114 | between lloc Loc_None = lloc
115 | between Loc_Unknown rloc = near rloc
116 | between lloc Loc_Unknown = near lloc
117 | between (Loc_Near lloc) rloc = near (between lloc rloc)
118 | between lloc (Loc_Near rloc) = near (between lloc rloc)