Lines Matching refs:loc
49 and PTdeclaredAt(loc: location): ptProperties = cast(0w2, loc)
53 and PTopenedAt(loc: location): ptProperties = cast(0w6, loc)
59 and PTstructureAt(loc: location): ptProperties = cast(0w12, loc)
113 fun prop (DeclaredAt loc) = PTdeclaredAt loc
114 | prop (OpenedAt loc) = PTopenedAt loc
115 | prop (StructureAt loc) = PTstructureAt loc
126 fun prop (DeclaredAt loc, l) = PTdeclaredAt loc :: l