# bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, equality); import one module, e.g. bend-mathlib@0.1.0.1/nat.bend.
# Source, lemma index and license: https://github.com/bendlib/bendlib
import Base
import ./equal.bend as MEqual
import ./bool.bend as MBool
import ./nat.bend as MNat
import ./list.bend as MList