Changeset 166 for Deliverables/D4.1/ASMInterpret.mli
- Timestamp:
- Oct 8, 2010, 6:11:14 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.mli
r143 r166 5 5 6 6 type time = int;; 7 type line = [`P0 | `P1 ];; (* ??? *) 7 type line = [ `P0 of byte 8 | `P1 of byte 9 | `SerialBuff of [ `Eight of byte | `Nine of BitVectors.bit * byte ]];; 10 (* In: reception time, line of input, new continuation, 11 Out: transmission time, output line, expected duration until reply, 12 new continuation. 13 *) 8 14 type continuation = 9 unit (* 10 [`In of time * line * byte * continuation] option * 11 [`Out of (time -> line -> byte -> continuation) ] 12 *) 15 [`In of time * line * continuation] option * 16 [`Out of (time -> line -> time * continuation) ] 13 17 14 18 type status = private … … 52 56 timer1: word; 53 57 timer2: word; (* can be missing *) 58 expected_out_time: [ `None | `Now | `At of time ]; 54 59 io: continuation 55 60 }
Note: See TracChangeset
for help on using the changeset viewer.