package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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