Variables and Constants

Free variables can be defined simply by giving them a name

#![allow(unused)]
fn main() {
let b = Free "b"
let r = Free "r"
let l = Free "l"
}

Constants are written with the constructor Bound. A node/baker constant is written by its name:

#![allow(unused)]
fn main() {
let b1 = Bound (N "b1")
}

There are smart constructors for level and round constants so that they can be written easily:

#![allow(unused)]
fn main() {
let l3 = level 3
let r0 = round 0
}

Catch-all variables are written by the constructor Any or simply (two underscore symbols):

#![allow(unused)]
fn main() {
__
}