List of all items

Structs

• syntax::C
• syntax::F
• syntax::Pred
• syntax::Theory
• syntax::V
• transform::SkolemGenerator

Enums

• syntax::Formula
• syntax::Term

Traits

• syntax::FApp
• transform::Substitution
• transform::TermBased
• transform::VariableRenaming

Functions

• parser::p_block_comment
• parser::p_line_comment
• parser::spaces
• parser::theory
• syntax::exists
• syntax::exists1
• syntax::exists2
• syntax::exists3
• syntax::exists4
• syntax::exists5
• syntax::forall
• syntax::forall1
• syntax::forall2
• syntax::forall3
• syntax::forall4
• syntax::forall5
• syntax::not
• test_prelude::P
• test_prelude::Q
• test_prelude::R
• test_prelude::_a
• test_prelude::_b
• test_prelude::_c
• test_prelude::_d
• test_prelude::_u
• test_prelude::_v
• test_prelude::_w
• test_prelude::_x
• test_prelude::_x_1
• test_prelude::_y
• test_prelude::_z
• test_prelude::a
• test_prelude::assert_debug_string
• test_prelude::assert_debug_strings
• test_prelude::assert_eq_sets
• test_prelude::assert_eq_vectors
• test_prelude::b
• test_prelude::c
• test_prelude::equal_sets
• test_prelude::f
• test_prelude::g
• test_prelude::h
• test_prelude::read_theory_from_file
• test_prelude::u
• test_prelude::v
• test_prelude::w
• test_prelude::x
• test_prelude::x_1
• test_prelude::y
• test_prelude::z