Lines Matching defs:range
23 * Specification of an iteration number or range (Count of LRM A.3.6)
25 type range = int * int option;
40 | S_RANGE_REPEAT of sere * range (* r[* i] *)
42 | S_RANGE_EQ_REPEAT of bexp * range (* r[= i] *)
43 | S_RANGE_GOTO_REPEAT of bexp * range (* r[-> i] *)
86 | F_NUM_WEAK_NEXT_A of range * fl (* next_a[n](f) *)
87 | F_NUM_STRONG_NEXT_A of range * fl (* next_a![n](f) *)
88 | F_NUM_WEAK_NEXT_E of range * fl (* next_e[n](f) *)
89 | F_NUM_STRONG_NEXT_E of range * fl (* next_e![n](f) *)
97 of bexp * range * fl (* next_event_a!(b)[i](f) *)
99 of bexp * range * fl (* next_event_a(b)[i](f) *)
101 of bexp * range * fl (* next_event_e!(b)[i](f) *)
103 of bexp * range * fl (* next_event_e(b)[i](f) *)