List of all items
Structs
- Output
- definitions::GlobalContext
- definitions::HoleContext
- definitions::InductiveData
- definitions::ProofInfo
Enums
- definitions::Eliminability
- definitions::LambdaNode
- definitions::LambdaTerm
- definitions::Pattern
- errors::Error
- errors::EvaluationError
- errors::InternalError
- errors::TypingError
- manager::Command
- manager::Tactic
- parsing::Rule
Functions
- debug_root
- definitions::var_to_string
- exec_command
- exec_commands
- get_current_goal
- get_hypothesis
- get_nb_goals
- parse
- parsing::pair_to_expr
- parsing::pair_to_pattern
- parsing::pair_to_typed_vars
- parsing::pair_to_typed_vars_list
- parsing::pair_to_var
- parsing::parse_command
- parsing::parse_commands
- parsing::parse_lambda
- print_comm
- print_comms
- print_state
- reset
- send_command