List of all items

Structs

• Language
• alpha::Ren
• ast::Ast
• ast::LocatedAst
• ast_walk::Clo
• ast_walk::LazilyWalkedTerm
• ast_walk::LazyWalkReses
• core_qq_forms::MuProtect
• core_qq_forms::UnusedNegativeMuProtect
• earley::Item
• earley::ParseContext
• earley::ParseError
• earley::UniqueId
• earley::UniqueIdRef
• expand::ExpandMacros
• expand::UnusedNegativeExpandMacros
• form::Form
• grammar::Scanner
• grammar::SyntaxExtension
• name::Name
• name::Spelling
• runtime::core_values::TypedValue
• runtime::eval::BIF
• runtime::eval::Closure
• runtime::eval::Destructure
• runtime::eval::Eval
• runtime::eval::QQuote
• runtime::eval::QQuoteDestr
• ty::SynthTy
• ty::UnpackTy
• ty_compare::Canonicalize
• ty_compare::Subtype
• util::assoc::Assoc
• util::asterism::Asterism
• util::asterism::AsterismSlice
• util::err::Spanned
• util::mbe::EnvMBE
• util::vrep::SRep
• util::vrep::VRep
• walk_mode::Negative
• walk_mode::Positive

Enums

• ast::AstContents
• ast_walk::WalkRule
• beta::Beta
• beta::ExportBeta
• form::EitherPN
• grammar::FormPat
• read::DelimChar
• runtime::eval::Value
• runtime::reify::Irr
• runtime::reify::NegIrr
• ty::TyErr
• util::asterism::LeafOrNode
• util::vrep::VRepElt
• util::vrep::VRepLen

Traits

• runtime::reify::Reifiable
• util::asterism::AsterMarchable
• walk_mode::Dir
• walk_mode::NegativeWalkMode
• walk_mode::WalkElt
• walk_mode::WalkMode

Macros

• assert_m
• val
• without_freshening

Functions

• alpha::freshen
• alpha::freshen_binders
• alpha::freshen_binders_inside_node
• alpha::freshen_binders_inside_node_with
• alpha::freshen_binders_with
• alpha::freshen_with
• alpha::substitute
• ast_walk::squirrel_away
• ast_walk::walk
• beta::bound_from_beta
• beta::bound_from_export_beta
• beta::env_from_beta
• beta::freshening_from_beta
• core_extra_forms::extend__capture_language
• core_extra_forms::make_core_extra_forms
• core_forms::add_form_at_the_alt
• core_forms::find
• core_forms::find_core_form
• core_forms::find_form
• core_forms::get_core_forms
• core_forms::insert_form_pat
• core_forms::make_core_syn_env
• core_forms::outermost__parse_context
• core_forms::outermost_form
• core_forms::strip_ee
• core_forms::strip_ql
• core_macro_forms::extend_syntax
• core_macro_forms::macro_invocation
• core_macro_forms::make_core_macro_forms
• core_qq_forms::dotdotdot
• core_qq_forms::dotdotdot_form
• core_qq_forms::quote
• core_qq_forms::unquote
• core_qq_forms::unquote_form
• core_type_forms::find_type
• core_type_forms::get__primitive_type
• core_type_forms::get_core_types
• core_type_forms::less_quoted_ty
• core_type_forms::more_quoted_ty
• core_type_forms::nt_is_positive
• core_type_forms::nt_to_type
• core_type_forms::type_defn
• earley::parse
• earley::parse_in_syn_env
• eval_program
• eval_unseemly_program_top
• expand::expand
• form::simple_form
• generate__ace_rules
• generate__ace_rules__for
• get_language
• grammar::new_scan
• grammar::parse_top
• highlighter_generation::ace_rules
• highlighter_generation::dynamic__ace_rules
• html__eval_program
• language_from_file
• macros::flimsy_syntax::parse_flimsy_mbe
• name::enable_fake_freshness
• name::n
• name::negative_ret_val
• read::delim
• runtime::core_values::cell_operations
• runtime::core_values::core_typed_values
• runtime::core_values::core_types
• runtime::core_values::core_values
• runtime::core_values::erase_type
• runtime::core_values::erase_value
• runtime::core_values::sequence_operations
• runtime::core_values::string_operations
• runtime::eval::apply__function_value
• runtime::eval::eval
• runtime::eval::eval_top
• runtime::eval::neg_eval
• runtime::reify::reflect_1ary_function
• runtime::reify::reflect_2ary_function
• runtime::reify::reify_1ary_function
• runtime::reify::reify_2ary_function
• runtime::reify::sequence_type__of
• runtime::reify::ty_of_1ary_function
• runtime::reify::un__sequence_type
• stash_lang
• terminal_display
• ty::expect_type
• ty::neg_synth_type
• ty::synth_type
• ty::synth_type_top
• ty_compare::canonicalize
• ty_compare::is_subtype
• ty_compare::must_equal
• ty_compare::must_subtype
• ty_compare::resolve
• type_unseemly_program_top
• unparse::unparse_mbe
• unseemly
• util::err::sp
• walk_mode::var_bind
• walk_mode::var_lookup

Type Aliases

• ast_walk::OutEnvHandle
• ast_walk::ResEnv
• form::BiDiWR
• form::NMap
• grammar::SynEnv
• ty::TypeError
• ty::TypeResult

Constants

• alpha::freshening_enabled
• alpha::watching
• ast_walk::ast_walk_layer
• ast_walk::ld_enabled
• core_forms::core_forms
• core_macro_forms::syn_envs__for__highlighting
• core_type_forms::core_type_forms
• core_type_forms::primitive_type
• earley::files
• macros::flimsy_syntax::default_nt
• runtime::core_values::static_core_values
• ty_compare::underdetermined_form
• ty_compare::unification