List of all items
Structs
- ast::HostEvalFn
- ast::HostObj
- ast::Module
- ast::UseAllModule
- bitype::Der
- bitype::DerVis
- bitype::Ext
- bitype::ItemDer
- bitype::ModuleDer
- bitype::UseAllModuleDer
- decide::Dec
- dynamics::EnvRec
- hostobj::Ops
- html::Div
- normal::NmSet
- reduce::Config
- reduce::Frame
- reduce::SysCfg
- shared::Shared
- vis::Bundle
Enums
- ast::CEffect
- ast::CType
- ast::Decls
- ast::Effect
- ast::Exp
- ast::IdxTm
- ast::Kind
- ast::Name
- ast::NameTm
- ast::PrimApp
- ast::PrimType
- ast::Prop
- ast::Sort
- ast::Type
- ast::Val
- bitype::Ctx
- bitype::DeclClas
- bitype::DeclRule
- bitype::Dir
- bitype::ExpRule
- bitype::IdxTmRule
- bitype::ItemRule
- bitype::NmTmRule
- bitype::PrimAppRule
- bitype::Qual
- bitype::Term
- bitype::TypeError
- bitype::ValRule
- decide::DecError
- decide::HandSide
- decide::RelCtx
- decide::apart::IdxTmRule
- decide::apart::NmTmRule
- decide::effect::Error
- decide::effect::Role
- decide::equiv::CEffectRule
- decide::equiv::IdxTmRule
- decide::equiv::NmTmRule
- decide::equiv::TypeRule
- decide::subset::IdxTmRule
- dynamics::Env
- dynamics::ExpTerm
- dynamics::NameTmVal
- dynamics::RtVal
- eval::EvalTyErr
- examples::basic_hostobj::color::Color
- normal::NmSetCons
- normal::NmSetTm
- reduce::Cont
- reduce::StepError
- reduce::Stuck
- vis::Expect
Traits
Macros
- db_region_close
- db_region_open
- fgi_bundle
- fgi_ceffect
- fgi_ctype
- fgi_db
- fgi_decls
- fgi_dynamic_trace
- fgi_effect
- fgi_exp
- fgi_host_exp
- fgi_index
- fgi_inner_mod
- fgi_kind
- fgi_listing_expect
- fgi_listing_test
- fgi_mod
- fgi_module
- fgi_name
- fgi_nametm
- fgi_prop
- fgi_rtval
- fgi_sort
- fgi_val
- fgi_vtype
- filename_of_module_path
- parse_fgi_arrow
- parse_fgi_earrow
- parse_fgi_eff
- parse_fgi_name_bin
- parse_fgi_pack_multi
- parse_fgi_prod
- parse_fgi_rt_tuple
- parse_fgi_split
- parse_fgi_sum
- parse_fgi_tuple
- split_arrow
- split_comma
- split_cross
- split_plus
- split_semi
- split_star
Functions
- ast::ident_bool
- ast::ident_nat
- ast::ident_string
- ast::type_bool
- ast::type_nat
- ast::type_string
- bitype::check_exp
- bitype::check_idxtm
- bitype::check_nmtm
- bitype::check_val
- bitype::find_defs_for_idxtm_var
- bitype::synth_exp
- bitype::synth_idxtm
- bitype::synth_items
- bitype::synth_module
- bitype::synth_nmtm
- bitype::synth_val
- bitype::term_of_idxtm
- decide::apart::decide_idxtm_apart
- decide::apart::decide_nmtm_apart
- decide::ctxs_of_relctx
- decide::ctxs_of_relctx_rec
- decide::effect::decide_effect_ceffect_sequencing
- decide::effect::decide_effect_ceffect_sequencing_db
- decide::effect::decide_effect_empty
- decide::effect::decide_effect_sequencing
- decide::effect::decide_effect_sequencing_db
- decide::effect::decide_effect_subtraction
- decide::effect::decide_effect_subtraction_db
- decide::effect::decide_idxtm_cons
- decide::effect::decide_idxtm_subtraction
- decide::effect::decide_nmset_subtraction
- decide::effect::test_idxtm_empty
- decide::effect::test_idxtm_equiv
- decide::equiv::decide_idxtm_equiv
- decide::equiv::decide_nmtm_equiv
- decide::equiv::decide_type_equiv
- decide::relctx_of_ctx
- decide::subset::decide_ceffect_subset
- decide::subset::decide_ceffect_subset_db
- decide::subset::decide_ceffect_subset_rec
- decide::subset::decide_ctype_subset
- decide::subset::decide_effect_subset
- decide::subset::decide_idxtm_subset
- decide::subset::decide_idxtm_subset_db
- decide::subset::decide_idxtm_subset_simple
- decide::subset::decide_idxtm_subset_speculative
- decide::subset::decide_nmsettm_subset
- decide::subset::decide_nmsettm_subset_simple
- decide::subset::decide_nmsettm_subset_speculative
- decide::subset::decide_prop
- decide::subset::decide_type_subset
- decide::subset::decide_type_subset_norm
- decide::subset::decide_type_subset_norm_db
- decide::subset::decide_type_subset_rec
- dynamics::close_val
- dynamics::close_val_rec
- dynamics::engine_name_of_ast_name
- dynamics::env_emp
- dynamics::env_find
- dynamics::env_push
- dynamics::nametm_eval
- dynamics::nametm_eval_rec
- dynamics::nametm_of_nametmval
- dynamics::nametm_subst
- dynamics::nametm_subst_rec
- dynamics::proj_namespace_name
- dynamics::ret
- eval::eval
- examples::basic_hostobj::color::color_of_rtval
- examples::basic_hostobj::color::fgi_module
- examples::basic_hostobj::color::rtval_of_color
- examples::basic_hostobj::color::trapdoor::color_next
- examples::list_nat::fgi_module
- examples::list_nat_convert::fgi_module
- examples::list_nat_dedup::dynamic_tests::big
- examples::list_nat_dedup::fgi_module
- examples::list_nat_dedup::trapdoor::hash_usize
- examples::list_nat_dedup::trapdoor::nat_hash_bit
- examples::list_nat_dedup::trapdoor::nat_print
- examples::list_nat_dedup::trapdoor::nat_print2
- examples::list_nat_dedup::trapdoor::print_found_duplicate
- examples::list_nat_edit::fgi_module
- examples::list_nat_reverse::fgi_module
- examples::name::fgi_module
- examples::name::trapdoor::name_eq
- examples::name::trapdoor::name_of_nat
- examples::nat::fgi_module
- examples::nat::trapdoor::nat_is_even
- examples::nat::trapdoor::nat_is_odd
- examples::nat::trapdoor::nat_is_zero
- examples::nat::trapdoor::nat_sub
- examples::op_nat::fgi_module
- examples::pure_list_nat::fgi_module
- examples::pure_list_nat::trapdoor::nat_is_even
- examples::pure_list_nat::trapdoor::nat_is_odd
- examples::pure_list_nat::trapdoor::nat_is_zero
- examples::pure_list_nat::trapdoor::nat_sub
- examples::ref_edit::fgi_module
- examples::ref_edit::trapdoor::ref_update
- examples::seq_nat::fgi_module
- examples::seq_nat_dfs::fgi_module
- examples::seq_nat_gen::fgi_module
- examples::trie_nat::fgi_module
- examples::trie_nat::trapdoor::hash_usize
- examples::trie_nat::trapdoor::nat_hash_bit
- examples::trie_nat::trapdoor::nat_print
- examples::trie_nat::trapdoor::nat_print2
- examples::trie_nat::trapdoor::print_found_duplicate
- expand::expand_ceffect
- expand::expand_ceffect_rec
- expand::expand_ctype
- expand::expand_effect
- expand::expand_effect_rec
- expand::expand_idxtm
- expand::expand_idxtm_rec
- expand::expand_nmtm
- expand::expand_nmtm_rec
- expand::expand_prop
- expand::expand_prop_rec
- expand::expand_type
- expand::expand_type_rec
- hostobj::obj_of_any
- hostobj::obj_of_rtval
- hostobj::obj_of_val
- hostobj::rtval_of_obj
- hostobj::val_of_obj
- html::class_of_dcg_node
- html::div_of_alloc_tree
- html::div_of_dcg_alloc_edge
- html::div_of_dcg_force_edge
- html::div_of_dcg_succs
- html::div_of_edge
- html::div_of_effect_edge
- html::div_of_env_pair
- html::div_of_force_tree
- html::div_of_loc
- html::div_of_name
- html::div_of_oploc
- html::div_of_path
- html::div_of_succ
- html::div_of_trace
- html::html_string_of_name
- html::style_string
- normal::idxtm_of_nmsettms
- normal::is_normal_idxtm
- normal::is_normal_nmtm
- normal::match_ceffect
- normal::match_ctype
- normal::match_type
- normal::match_type_rec
- normal::nmset_cons_join
- normal::normal_ceffect
- normal::normal_ceffect_rec
- normal::normal_ctype
- normal::normal_effect
- normal::normal_idxtm
- normal::normal_idxtm_rec
- normal::normal_nmtm
- normal::normal_nmtm_rec
- normal::normal_type
- normal::unroll_type
- reduce::reduce
- reduce::reduce_db
- reduce::step
- reduce::system_config
- shared::clear
- subst::alpha_vary
- subst::fv_contains
- subst::fv_contains_idxtm
- subst::fv_of_ceffect
- subst::fv_of_ctype
- subst::fv_of_effect
- subst::fv_of_idxtm
- subst::fv_of_nmtm
- subst::fv_of_term
- subst::fv_of_type
- subst::idxtm_writescope_var_str
- subst::nmtm_writescope_var_str
- subst::subst_idxtm_type
- subst::subst_nmtm
- subst::subst_nmtm_rec
- subst::subst_term_ceffect
- subst::subst_term_ceffect_rec
- subst::subst_term_ctype
- subst::subst_term_effect
- subst::subst_term_effect_rec
- subst::subst_term_idxtm
- subst::subst_term_idxtm_rec
- subst::subst_term_nmtm
- subst::subst_term_nmtm_rec
- subst::subst_term_prop
- subst::subst_term_prop_rec
- subst::subst_term_type
- subst::subst_term_type_rec
- subst::subst_type_type
- subst::term_is_idxtm
- subst::term_is_nmtm
- subst::term_is_type
- vis::capture_traces
- vis::label_exp
- vis::write_bundle
Type Definitions
- ast::CEffectRec
- ast::DeclsRec
- ast::EffectRec
- ast::ExpRec
- ast::Ident
- ast::IdxTmRec
- ast::KindRec
- ast::NameRec
- ast::NameTmRec
- ast::PropRec
- ast::SortRec
- ast::TypeRec
- ast::ValRec
- ast::Var
- bitype::CtxRec
- bitype::DeclDer
- bitype::ExpDer
- bitype::IdxTmDer
- bitype::NmTmDer
- bitype::ValDer
- decide::RelCtxRec
- decide::Var2
- decide::apart::IdxTmDec
- decide::apart::NmTmDec
- decide::equiv::CEffectDec
- decide::equiv::IdxTmDec
- decide::equiv::NmTmDec
- decide::equiv::TypeDec
- decide::subset::IdxTmDec
- dynamics::Ref
- dynamics::RtValRec
- dynamics::Thk
- normal::NmSetTms
- shared::Id