Module Expand.AddressSource

The Address module implements addresses as used in Makoto's paper

Sourcetype t

t is the type of addresses

Sourceval make_add : int list -> t

make_add lst turns a list of 0s and 1s into an address. Raises Invalid_argument if lst contains a vaue different from 0 or 1.

Sourceval pp : Format.formatter -> t -> unit

pp fmt add pretty prints the address add in fmt