Bookkeeper

Preamble

Initialization

emptyBook

Getters

type Gettable field book val

(?:)

get

Setters

type Settable field val old new

set

(=:)

Modifying

type Modifiable field val val' old new

modify

(%:)

Deleting

delete

Types

type Book a

type a :=> b

data Key a

Re-exports

(&)