module Binary: sig .. end
The
Binary module exports a function to add numbers in
binary
representations. When implementing this module you may find it
useful to implement some helper functions.
type
The type bit represents a single binary digit
type bit list
The type bits represents a sequence of binary digits. By
convention, we will assume that the most significant bit at the
head of the list
val bits_to_int : bits -> int
bits_to_int lst converts bits lst to an int.
val int_to_bits : int -> bits
int_to_bits n converts an int n to bits.
val normalize : bits -> bits -> bits * bits
normalize lst lst' outputs (lst'',lst''') such that the
lst'' and lst''' have the same length. If the input lists are
not the same length, the shorter is padded with Zeros.
val drop_leading_zeros : bits -> bits
drop_leading_zeros lst returns lst' for
lst = Zero::...::Zero::lst', where Zero::...::Zero represents
all of the leading zeros in lst.
val binary_addition : bits -> bits -> bits
The binary_addition m n function is used to add two numbers m
and n represented in binary using bits.
Returns the binary representation of m+n in bits, with all
leading zeros removed.