Ignore:
Timestamp:
Sep 23, 2010, 3:16:27 PM (10 years ago)
Author:
mulligan
Message:

Fixed weird type errors in ASMInterpret.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/physical.mli

    r92 r120  
    33exception Byte7_conversion
    44
    5 module Byte7Map : Map.S with type key = byte7
    6 module WordMap : Map.S with type key = word
     5module type Map =
     6 sig
     7  type key
     8  type map
     9   val empty : map
     10   val find : key -> map -> byte
     11   val add : key -> byte -> map -> map
     12 end
     13;;
     14
     15module Byte7Map : Map with type key = byte7
     16module WordMap : Map with type key = word
    717
    818val byte7_of_byte: byte -> byte7
Note: See TracChangeset for help on using the changeset viewer.