Lines Matching defs:cast
42 fun cast p = toAddress(toMachineWord p)
47 fun PTbreakPoint(bpt: bool ref): ptProperties = cast(0w0, bpt)
48 and PTcompletions(sl: string list): ptProperties = cast(0w1, sl)
49 and PTdeclaredAt(loc: location): ptProperties = cast(0w2, loc)
50 and PTdefId(id: FixedInt.int): ptProperties = cast(0w3, id)
51 and PTfirstChild(entry: unit -> exportTree): ptProperties = cast(0w4, entry)
52 and PTnextSibling(entry: unit -> exportTree): ptProperties = cast(0w5, entry)
53 and PTopenedAt(loc: location): ptProperties = cast(0w6, loc)
54 and PTparent(entry: unit -> exportTree): ptProperties = cast(0w7, entry)
55 and PTpreviousSibling(entry: unit -> exportTree): ptProperties = cast(0w8, entry)
56 and PTprint(pr: FixedInt.int -> pretty): ptProperties = cast(0w9, pr)
57 and PTreferences(exp: bool, locs: location list): ptProperties = cast(0w10, exp, locs)
58 and PTrefId(id: FixedInt.int): ptProperties = cast(0w11, id)
59 and PTstructureAt(loc: location): ptProperties = cast(0w12, loc)
60 and PTtype(typ: types): ptProperties = cast(0w13, typ)