Changeset 818 for Deliverables/D2.2/8051/src/common/intValue.ml
 Timestamp:
 May 19, 2011, 4:03:04 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D2.2/8051/src/common/intValue.ml
r740 r818 11 11 12 12 type int_repr = Big_int.big_int 13 14 let print_int_repr = Big_int.string_of_big_int 13 15 14 16 (* The parameter module. Bounded integers are characterized by the number of … … 30 32 val zero : t 31 33 val one : t 34 35 val to_signed_int_repr : t > int_repr 36 val to_unsigned_int_repr : t > int_repr 32 37 33 38 val succ : t > t … … 82 87 representation). *) 83 88 val break : t > int > t list 84 (** [merge l] creates the integer where the first element of [l] is its 85 lowbits, etc, and the last element of [l] is its high bits (little endian89 (** [merge l] creates the integer where the first element of [l] is its low 90 bits, etc, and the last element of [l] is its high bits (little endian 86 91 representation). *) 87 92 val merge : t list > t … … 123 128 if lt_big_int a half_bound then a 124 129 else sub_big_int a _mod 130 131 let to_signed_int_repr a = signed a 132 133 let to_unsigned_int_repr a = a 125 134 126 135 let signed_op op a b = op (signed a) (signed b)
Note: See TracChangeset
for help on using the changeset viewer.