#lang scribble/manual

@title{Pre-defined variables}

@(defthing empty is_empty)

The empty list.

@(defthing True is_true)

The boolean value corresponding to truth.

@(defthing False is_false)

The boolean value corresponding to falsehood.