Ignore:
Timestamp:
Sep 17, 2010, 10:44:41 AM (10 years ago)
Author:
mulligan
Message:

Lots of work on tidying up code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Bit.ml

    r83 r84  
    88module type BIT =
    99sig
    10   type bit
     10  type bit = bool (* DPM: Make abstract? *)
    1111
    1212  val from_bool: bool -> bit
Note: See TracChangeset for help on using the changeset viewer.