Lines Matching defs:ref
9 datatype ref = datatype ref
10 val := : 'a ref * 'a -> unit
11 val ! : 'a ref -> 'a
12 val change: 'a ref -> ('a -> 'a) -> unit
13 val change_result: 'a ref -> ('a -> 'b * 'a) -> 'b
14 val inc: int ref -> int
15 val dec: int ref -> int
16 val setmp: 'a ref -> 'a -> ('b -> 'c) -> 'b -> 'c
22 datatype ref = datatype ref;