Library zoo_parabs.base

Require Import zoo.prelude.
Require Import zoo.base.
Require Import zoo.options.

Variant status :=
  | Blocked
  | Nonblocked.

Variant emptiness :=
  | Empty
  | Nonempty.