Ignore:
Timestamp:
Sep 17, 2010, 12:14:27 PM (10 years ago)
Author:
mulligan
Message:

Deleted Pretty.ml, as `pretty' functions have now been merged into
other files where they belong.
where

File:
1 edited

Legend:

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

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