• Top

• Abstract-syntax

Addresses

Leo addresses.

In Leo, an address consists of 63 ASCII characters: the five characters `aleo1', followed by 58 lowercase letters and digits.

The address should conform to Bech32 or Bech32m; see subtopic.

Subtopics

Address

Fixtype of Leo addresses.

Address-chars-p

Check if a list of characters forms a Leo address.

Find-addresses

All-addresses-valid?

Address-string-p

Check if a string forms a Leo address.

Address-valid-p

Address-list

Fixtype of lists of Leo addresses.

Ast-addresses-valid?