Ignore:
Timestamp:
Sep 29, 2010, 12:51:05 PM (9 years ago)
Author:
sacerdot
Message:

More cleanup.

File:
1 edited

Legend:

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

    r138 r140  
    8989    he::tl
    9090
     91(* CSC: can overflow!!! *)
    9192let int_of_vect v =
    9293  let rec aux pow v =
     
    140141   
    141142let zero size = pad (size_lookup size) []
     143
     144(* CSC: can overflow!!! *)
     145let hex_string_of_vect v = Printf.sprintf "%0 2X" (int_of_vect v);;
Note: See TracChangeset for help on using the changeset viewer.