Lines Matching defs:rdi
74 {rdt : unit -> real, rdi : unit -> int, log : (int -> unit), lim : limit};
96 let val (rdi,log) = new_inference_meter ()
97 in {rdt = new_time_meter (), rdi = rdi, log = log, lim = lim}
100 fun sub_meter ({rdt, rdi, log, lim = _} : meter) lim =
102 val init_time = rdt () and init_infs = rdi ()
106 {rdt = sbt o rdt, rdi = sbi o rdi, log = log, lim = lim}
111 fun read_infs ({rdi,...} : meter) = rdi ();
113 fun read_meter ({rdt,rdi,...} : meter) = {time = rdt (), infs = rdi ()};
115 fun check_meter ({rdt, rdi, lim = {time, infs}, ...} : meter) =
117 (case infs of NONE => true | SOME infs => rdi () < infs);