List of all items

Structs

• ConceptCorrespondence
• ConceptDistinction
• ConceptDistinctionProblem
• ConceptOntologyImportReport
• ConceptOntologySeedReport
• ConceptRecord
• ConceptRecordSeedReport
• ConceptReuse
• ConstructTranslation
• ConstructTranslationProblem
• ConstructTree
• ConstructTreeTranslation
• FoundationCorrespondence
• FoundationDistinction
• FoundationFamily
• FoundationModel
• FoundationProblem
• FoundationRegister
• GrammarConceptReuse
• GrammarNames
• LanguageFoundation
• NativeConceptProblem
• NativeConceptReuse
• NativeRuleConcept
• NaturalLanguageGrammarFixture
• PrecedenceUse
• ReadTranslationProvenance
• RequiredDistinction
• SelfTranslation
• SelfTranslationError
• SelfTranslationItem
• SemanticTranslation
• SharedRule
• SourceAlias
• SpecificRule
• TranslationDiagnostic
• TranslationObligation
• TranslationProvenance
• access::ReadOnlyNetwork
• access::ReadOnlyViolation
• api_styles::ApiOperationEntry
• api_styles::ApiStyleCell
• api_styles::FluentPipeline
• api_styles::LinkCliSubstitution
• api_styles::LinkCliSubstitutionError
• benchmark::BenchmarkFailure
• benchmark::CompetitorManifest
• benchmark::CompetitorRun
• benchmark::CompetitorSuiteReport
• benchmark::CorpusManifestEntry
• benchmark::SecondaryMetricRow
• benchmark::SkippedCorpus
• configuration::ParseConfiguration
• decorators::Decorator
• decorators::DecoratorError
• decorators::DecoratorSet
• document_formatting::DocumentFormatInstance
• document_formatting::DocumentFormatMatch
• document_formatting::DocumentFormattingSeedReport
• document_formatting::FormattingDocument
• grammar::ExprBuilder
• grammar::Grammar
• grammar::GrammarBuilder
• grammar::GrammarKind
• grammar::GrammarRule
• grammar::GrammarSourceName
• grammar::RepetitionBoundsError
• grammar::concepts::GrammarConcept
• grammar::emit::EmitReport
• grammar::emit::JsParserArtifacts
• grammar::emit::RustParserArtifacts
• grammar::feature::FeatureForm
• grammar::feature::GrammarDeclarations
• grammar::feature::GrammarMacro
• grammar::feature::GrammarScanner
• grammar::feature::RuleAttributes
• grammar::feature_runtime::Ambiguity
• grammar::feature_runtime::FeatureGrammarParser
• grammar::feature_runtime::FeatureParseOptions
• grammar::feature_runtime::GrammarParseError
• grammar::feature_runtime::GrammarRuntimeError
• grammar::feature_runtime::ParseOutcome
• grammar::feature_runtime::ParseRejection
• grammar::fidelity::GrammarFormatProfile
• grammar::inference::active::ActiveLearningConfig
• grammar::inference::active::Dfa
• grammar::inference::active::GrammarAcceptorOracle
• grammar::inference::active::ParserMembershipOracle
• grammar::inference::active::SamplingEquivalenceOracle
• grammar::inference::advisor::AdviceDecision
• grammar::inference::advisor::ConceptNamingAdvisor
• grammar::inference::advisor::FallbackAdvisor
• grammar::inference::advisor::LlmError
• grammar::inference::advisor::LlmMergeAdvisor
• grammar::inference::advisor::LlmNamingAdvisor
• grammar::inference::advisor::MdlMergeAdvisor
• grammar::inference::advisor::MergeCandidate
• grammar::inference::advisor::MergeRequest
• grammar::inference::advisor::MergeScore
• grammar::inference::advisor::NameCandidate
• grammar::inference::advisor::NamingRequest
• grammar::inference::cfg::InferenceOptions
• grammar::inference::cfg::InferenceReport
• grammar::inference::cfg::InferenceResult
• grammar::inference::cfg::PositiveOnlyOracle
• grammar::inference::eval::BenchmarkReport
• grammar::inference::eval::GoldenCorpus
• grammar::inference::eval::GrammarOracle
• grammar::inference::eval::MetricScores
• grammar::inference::eval::SampleConfig
• grammar::inference::lexical::LexicalConfig
• grammar::inference::lexical::LexicalModel
• grammar::inference::lexical::Token
• grammar::inference::minimize::Mdl
• grammar::inference::minimize::MinimizeOptions
• grammar::inference::minimize::MinimizeReport
• grammar::inference::minimize::MinimizeResult
• grammar::inference::prior::ByteSpan
• grammar::inference::prior::PriorOptions
• grammar::inference::prior::SeedTree
• grammar::inference::prior::StructuralPrior
• grammar::inference::semantic::ConstraintClause
• grammar::inference::semantic::ConstraintPattern
• grammar::inference::semantic::NonTerminalRef
• grammar::inference::semantic::SemanticConstraint
• grammar::inference::semantic::SemanticInferenceConfig
• grammar::inference::state_merging::Apta
• grammar::inference::state_merging::AptaState
• grammar::inference::state_merging::InferredAutomaton
• grammar::inference::state_merging::InferredState
• grammar::inference::state_merging::MergeEvent
• grammar::inference::state_merging::Sample
• grammar::interchange::GrammarCommandOutput
• grammar::interchange::GrammarLayout
• grammar::interchange::GrammarLayoutDefinition
• grammar::interchange::GrammarLayoutImplicit
• grammar::interchange::GrammarLowering
• grammar::interchange::GrammarLoweringFailure
• grammar::interchange::GrammarLoweringMetadata
• grammar::interchange::GrammarLoweringOptions
• grammar::interchange::GrammarLoweringReport
• grammar::interchange::GrammarSourceDefinition
• grammar::interchange::GrammarSourceSplit
• grammar::merge::GrammarMergeAlternative
• grammar::merge::GrammarMergeDecision
• grammar::merge::GrammarMergeError
• grammar::merge::GrammarMergeFailure
• grammar::merge::GrammarMergeNomination
• grammar::merge::GrammarMergeOptions
• grammar::merge::GrammarMergeResult
• grammar::merge::GrammarMergeSource
• grammar::merge::GrammarRenameError
• grammar::merge::MergedGrammarGroup
• grammar::merge::RenamedGrammar
• grammar::merge::RuleAlias
• grammar::reverse::GrammarReverseConversion
• grammar::reverse::GrammarReverseFailure
• grammar::reverse::GrammarReverseReport
• grammar::round_trip::GrammarRoundTrip
• grammar::round_trip::GrammarRoundTripFailure
• grammar::round_trip::GrammarRoundTripReport
• grammar::runtime::GrammarParser
• grammar::validate::GrammarDiagnostic
• grammar::validate::RuleSpan
• graphql_adapter::GraphQlAdapterError
• graphql_adapter::GraphQlRootMapping
• graphql_adapter::GraphQlSchemaRegistry
• language_catalog::GrammarProvenance
• language_catalog::LanguageEntry
• language_catalog::NativeGrammarEntry
• language_parser::BuiltInLanguageParser
• language_profile::LanguageProfile
• language_profile::LanguageProfileLinks
• language_profile::LanguageProfileViolation
• language_support::LanguageSupport
• language_support::TranslationContract
• link_flags::LinkFlags
• link_network::Link
• link_network::LinkId
• link_network::LinkMetadata
• link_network::LinkNetwork
• mixed_regions::EmbeddedRegion
• parity::GrammarEmbeddingTarget
• parity::LanguageFixture
• parity::LanguageTarget
• parity::ParityFixture
• parity::ParityTarget
• parity::ParityTransformExpectation
• parser_registry::ParserRegistry
• program_representation::ProgramBinding
• program_representation::ProgramConstruct
• program_representation::ProgramDiagnostic
• program_representation::ProgramExpansion
• program_representation::ProgramFact
• program_representation::ProgramProjectContext
• program_representation::ProgramProjectModule
• program_representation::ProgramProjectReference
• program_representation::ProgramProjectSource
• program_representation::ProgramRange
• program_representation::ProgramRepresentation
• program_representation::ProgramScope
• program_representation::ProgramSourceMapping
• program_translation::DecodedProgramTranslation
• program_translation::ProgramTranslation
• query::LinkQuery
• query::QueryCapture
• query::QueryCaptures
• query::QueryIndex
• query::QueryMatch
• query::QueryParseError
• query::QueryPredicate
• query::RejectPredicateHost
• query_algebra::LinkRule
• query_algebra::LinkRuleCapture
• query_algebra::LinkRuleCaptures
• query_algebra::LinkRuleMatch
• query_algebra::LinkRuleParseError
• query_algebra::LinkRuleRegistry
• query_algebra::LinkRuleSnapshotCase
• query_algebra::LinkRuleSnapshotReport
• query_algebra::LinkRuleSnapshotResult
• query_algebra::LinkRuleSnapshotSuite
• query_algebra::TraversalReport
• query_plan::LoweredQueryPlan
• query_plan::QueryAggregate
• query_plan::QueryOrder
• query_plan::QueryPlan
• query_plan::QuerySourceEvidence
• rust_codec::LinksDecoder
• rust_codec::LinksEncoder
• rust_codec::RustFieldShape
• rust_codec::RustTypeShape
• semantics::ProbabilisticTruthValue
• semantics::Probability
• snapshots::MutableNetworkSnapshot
• snapshots::NetworkSnapshot
• snapshots::StructuralDiff
• source::ByteRange
• source::Point
• source::SourceSpan
• sql_adapter::SqlAdapterError
• sql_adapter::SqlDialectProfile
• sql_adapter::SqlRelationMapping
• sql_adapter::SqlSchemaRegistry
• storage::DoubletsLinkStore
• storage::LinkStoreQuery
• substitution::SubstitutionBindings
• substitution::SubstitutionReport
• substitution::SubstitutionRule
• substitution::VariableSubstitutionRule
• transform::QuasiquoteTemplate
• transform::ReplacementReport
• transform::ReplacementRule
• transform::SourceTextPredicateHost
• transform::TextReplacement
• translation::Span
• translation::decimal::Decimal
• translation::diagnostics::TranslationError
• translation::emit_common::Assumption
• translation::emit_common::AssumptionText
• translation::emit_common::Dependence
• translation::emit_common::EmitOptions
• translation::emit_common::EmitState
• translation::emit_common::Emitted
• translation::emit_common::Encoding
• translation::emit_common::Mapping
• translation::emit_common::TheoremRecord
• translation::ir::Binder
• translation::ir::Case
• translation::ir::Comparison
• translation::ir::Ctor
• translation::ir::DataDecl
• translation::ir::Expr
• translation::ir::Field
• translation::ir::FnDecl
• translation::ir::Hints
• translation::ir::Main
• translation::ir::Param
• translation::ir::PlanCase
• translation::ir::Program
• translation::ir::Proof
• translation::ir::Scope
• translation::ir::Split
• translation::ir::TheoremDecl
• translation::lexer::Comment
• translation::lexer::Source
• translation::lexer::TemplateExpression
• translation::lexer::TemplatePart
• translation::lexer::Token
• translation::lexer::TokenCursor
• translation::lexer::Tokens
• translation::proof::TheoremHead
• translation::surface::Guard
• translation::surface::SArrayItem
• translation::surface::SBinder
• translation::surface::SCase
• translation::surface::SComparison
• translation::surface::SCtor
• translation::surface::SData
• translation::surface::SExpr
• translation::surface::SField
• translation::surface::SFn
• translation::surface::SMain
• translation::surface::SModule
• translation::surface::SParam
• translation::surface::SPattern
• translation::surface::SProgram
• translation::surface::SProof
• translation::surface::SProp
• translation::surface::SRow
• translation::surface::SRule
• translation::surface::SSplit
• translation::surface::SSplitCase
• translation::surface::STagTest
• translation::surface::STheorem
• translation_rules::TranslationRule
• translation_rules::TranslationRuleRegistry
• translation_rules::TranslationRuleSet
• translation_rules::TranslationTemplate
• verification::VerificationIssue
• verification::VerificationReport

Enums

• ConceptRole
• ConstructTranslationRelation
• CorrespondenceRelation
• LinksNotationReading
• NativeConceptProblemKind
• access::EngineNetwork
• api_styles::ApiOperation
• api_styles::ApiStyle
• api_styles::ApiStyleFixture
• api_styles::LinkCliSubstitutionKind
• benchmark::BenchmarkError
• configuration::AccessMode
• configuration::FormalizationLevel
• configuration::LanguageIdentificationDetector
• configuration::NaturalizationDirection
• configuration::RegionDetectionPolicy
• configuration::TriviaAttachmentPolicy
• decorators::DecoratorAction
• decorators::DecoratorLevel
• document_formatting::BlockNode
• document_formatting::InlineNode
• grammar::CharClassItem
• grammar::GrammarExpr
• grammar::GrammarFormat
• grammar::RuleKind
• grammar::emit::GrammarEmitError
• grammar::feature::ByteClassItem
• grammar::feature::FeatureExpr
• grammar::feature::FieldType
• grammar::feature::FieldValue
• grammar::feature::OperationCategory
• grammar::feature::PrecedenceEntry
• grammar::feature::UnicodeClassItem
• grammar::feature_runtime::LeafText
• grammar::feature_runtime::OperationValue
• grammar::feature_runtime::ParseWithGrammarError
• grammar::feature_runtime::SyntaxTree
• grammar::fidelity::GrammarFidelityLevel
• grammar::import::GrammarImportError
• grammar::inference::active::ActiveLearningError
• grammar::inference::advisor::AdviceDecisionKind
• grammar::inference::advisor::AdviceSource
• grammar::inference::eval::EvalError
• grammar::inference::eval::ScoringMode
• grammar::inference::lexical::CharCategory
• grammar::inference::prior::Delimiter
• grammar::inference::prior::LeafKind
• grammar::inference::prior::SeedNode
• grammar::inference::prior::WhitespacePolicy
• grammar::inference::semantic::ConstraintAtom
• grammar::inference::semantic::LengthUnit
• grammar::inference::state_merging::MergeStrategy
• grammar::interchange::GrammarLosslessError
• grammar::interchange::GrammarLoweringEncoding
• grammar::interchange::GrammarLoweringError
• grammar::interchange::GrammarLoweringFailureKind
• grammar::interchange::GrammarLoweringStatus
• grammar::interchange::GrammarLoweringStep
• grammar::merge::GrammarMergeAlternativeReason
• grammar::merge::GrammarMergeDecisionKind
• grammar::merge::GrammarMergeFailureKind
• grammar::merge::GrammarMergeFailureReason
• grammar::merge::GrammarMergeNominationBasis
• grammar::merge::GrammarMergeNominationOutcome
• grammar::merge::GrammarRenameErrorKind
• grammar::reverse::GrammarReverseFailureKind
• grammar::reverse::GrammarReverseStage
• grammar::reverse::GrammarReverseStatus
• grammar::round_trip::GrammarRoundTripError
• grammar::round_trip::GrammarRoundTripFailureKind
• grammar::round_trip::GrammarRoundTripStage
• grammar::round_trip::GrammarRoundTripStatus
• grammar::surface::GrammarSurfaceError
• grammar::translate::GrammarTranslateError
• grammar::validate::DiagnosticKind
• grammar::validate::Severity
• graphql_adapter::GraphQlArgumentRole
• graphql_adapter::GraphQlOperationType
• language_support::RepresentationLevel
• language_support::TranslationSupport
• link_network::LinkType
• link_network::NetworkProjection
• lino_serialization::LinoSerializationError
• parity::LanguageFamily
• parity::ParityCapability
• parity::ParityVerificationExpectation
• program_representation::ProgramConstructStatus
• program_representation::ProgramRepresentationError
• program_translation::ProgramTranslationError
• query::QueryPredicateArgument
• query_algebra::LinkRuleSnapshotExpectation
• query_algebra::TraversalStrategy
• query_plan::QueryAggregateFunction
• query_plan::QueryAuthorization
• query_plan::QueryComparisonOperator
• query_plan::QueryFilter
• query_plan::QueryOperation
• query_plan::QuerySortDirection
• query_plan::QueryValue
• rust_codec::LinksCodecError
• rust_codec::RustTypeKind
• semantics::TruthValue
• sql_adapter::SqlAdapterErrorKind
• storage::EngineLinkStore
• storage::LinkStoreBackend
• storage::StorageError
• substitution::SubstitutionValue
• transform::QuasiquoteError
• translation::Language
• translation::diagnostics::ErrorKind
• translation::emit_common::CtorStyle
• translation::ir::ByZero
• translation::ir::Decl
• translation::ir::Effect
• translation::ir::Item
• translation::ir::LitValue
• translation::ir::Node
• translation::ir::Pattern
• translation::ir::Plan
• translation::ir::Prop
• translation::ir::Semantics
• translation::lexer::TokenKind
• translation::proof::ProofName
• translation::surface::BinaryOp
• translation::surface::Flavor
• translation::surface::Rounding
• translation::surface::SCasePattern
• translation::surface::SEffect
• translation::surface::SItem
• translation::surface::SNode
• translation::surface::SPatternNode
• translation::surface::SPropNode
• translation::surface::SStep
• translation::surface::ShowStyle
• translation::surface::UnaryOp
• translation::types::Type
• translation_rules::TranslationRuleSetLoadError
• verification::VerificationIssueKind

Traits

• api_styles::FluentNetworkApi
• grammar::inference::active::Oracle
• grammar::inference::advisor::LlmClient
• grammar::inference::advisor::MergeAdvisor
• grammar::inference::advisor::NamingAdvisor
• grammar::inference::cfg::Oracle
• grammar::inference::eval::MembershipOracle
• language_parser::LanguageParser
• query::QueryPredicateHost
• rust_codec::FromLinks
• rust_codec::LinksObject
• rust_codec::ToLinks
• storage::LinkStore
• translation::proof::ProofContext

Functions

• api_styles::run_api_style_fixture
• benchmark::load_manifest
• benchmark::render_competitor_report
• benchmark::run_competitor_suite
• benchmark::run_competitor_suite_from_paths
• check_concept_distinctions
• check_foundation_models
• check_native_grammar_concepts
• check_native_grammar_concepts_in
• concept_correspondence
• concept_correspondence_in
• concept_record
• concept_records
• concept_records_for_source_name
• current_concept_id
• decorators::decorator_record
• decorators::record_field
• document_formatting::canonical_document_format
• document_formatting::document_format_profile
• document_formatting::docx_package_is_recognized
• document_formatting::docx_profile_is_recognized
• document_formatting::parse_docx_document
• document_formatting::parse_docx_package
• document_formatting::parse_markup_document
• document_formatting::parse_pdf_document
• document_formatting::pdf_profile_is_recognized
• document_formatting::render_docx_document
• document_formatting::render_docx_package
• document_formatting::render_pdf_document
• foundation_correspondences
• foundation_model
• foundation_register
• grammar::canonical_repeat
• grammar::carry_rule_docs
• grammar::choice
• grammar::concepts::annotate_grammar_concepts
• grammar::concepts::grammar_expr_concept_id
• grammar::concepts::rule_concept_id
• grammar::decorators::decorate_emitted
• grammar::decorators::decorate_grammar
• grammar::decorators::decorate_syntax_tree
• grammar::emit::emit_abnf
• grammar::emit::emit_antlr
• grammar::emit::emit_bnf
• grammar::emit::emit_ebnf
• grammar::emit::emit_gbnf
• grammar::emit::emit_javascript_parser
• grammar::emit::emit_lark
• grammar::emit::emit_peggy
• grammar::emit::emit_pest
• grammar::emit::emit_rust_parser
• grammar::emit::emit_tree_sitter_grammar_js
• grammar::emit::emit_tree_sitter_grammar_js_with_report
• grammar::emit::emit_tree_sitter_json
• grammar::emit::render_rust_type
• grammar::feature::check_integer
• grammar::feature::class_expression
• grammar::feature::default_settling
• grammar::feature::feature_expression_fields
• grammar::feature::operation_form
• grammar::feature::settling_problem
• grammar::feature_runtime::compile_feature_grammar
• grammar::feature_runtime::parse_with_grammar
• grammar::fidelity::canonical_grammar_format
• grammar::fidelity::current_grammar_construct
• grammar::fidelity::grammar_format_profile
• grammar::import::import_abnf
• grammar::import::import_antlr
• grammar::import::import_bnf
• grammar::import::import_ebnf
• grammar::import::import_gbnf
• grammar::import::import_lark
• grammar::import::import_pest
• grammar::import::import_tree_sitter_json
• grammar::inference::active::clean_structural_acceptance
• grammar::inference::active::learn_dfa
• grammar::inference::active::learn_grammar
• grammar::inference::cfg::infer_cfg
• grammar::inference::cfg::infer_cfg_with_advisors
• grammar::inference::eval::evaluate
• grammar::inference::eval::mdl
• grammar::inference::eval::run_corpus
• grammar::inference::eval::run_named_corpus
• grammar::inference::eval::sample
• grammar::inference::eval::size_symbols
• grammar::inference::lexical::categorise
• grammar::inference::lexical::infer_lexical_classes
• grammar::inference::minimize::mdl_cost
• grammar::inference::minimize::minimize
• grammar::inference::prior::build_structural_prior
• grammar::inference::semantic::default_pattern_catalog
• grammar::inference::semantic::evaluate_atom
• grammar::inference::semantic::evaluate_clause
• grammar::inference::semantic::evaluate_constraint
• grammar::inference::semantic::evaluate_probabilistic
• grammar::inference::semantic::mine_semantic_constraints
• grammar::inference::sequitur::run_sequitur
• grammar::inference::state_merging::infer_dfa
• grammar::interchange::capture_grammar_layout
• grammar::interchange::check_grammar_lowering
• grammar::interchange::deserialize_grammar
• grammar::interchange::dropped_grammar_features
• grammar::interchange::emit_grammar_lossless
• grammar::interchange::grammar_emitter
• grammar::interchange::grammar_importer
• grammar::interchange::import_grammar_lossless
• grammar::interchange::lower_grammar
• grammar::interchange::parse_grammar_layout_links
• grammar::interchange::parse_grammar_links
• grammar::interchange::parse_links_expression
• grammar::interchange::parse_lowering_metadata
• grammar::interchange::parse_native_expression
• grammar::interchange::parse_native_grammar
• grammar::interchange::percent_decode_links_text
• grammar::interchange::percent_encode_links_text
• grammar::interchange::reconstruct_grammar
• grammar::interchange::render_declaration_links
• grammar::interchange::render_grammar_layout_links
• grammar::interchange::render_grammar_links
• grammar::interchange::render_links_expression
• grammar::interchange::render_lowering_metadata
• grammar::interchange::render_native_expression
• grammar::interchange::render_native_feature
• grammar::interchange::render_native_grammar
• grammar::interchange::render_rule_fields
• grammar::interchange::render_rule_link
• grammar::interchange::run_grammar_command
• grammar::interchange::serialize_grammar
• grammar::interchange::split_grammar_source
• grammar::merge::assert_merge_complete
• grammar::merge::assert_merge_shares
• grammar::merge::merge_grammars
• grammar::merge::normalized_rule_definition
• grammar::merge::rename_grammar_rule
• grammar::merge::restore_source_names
• grammar::merge::shared_rule_decisions
• grammar::reverse::check_grammar_reverse_conversion
• grammar::round_trip::accepts_text
• grammar::round_trip::canonical_rule_definition
• grammar::round_trip::check_grammar_round_trip
• grammar::round_trip::mutate_grammar_start_rule
• grammar::runtime::register_grammar
• grammar::runtime::with_grammar
• grammar::sequence
• grammar::surface::grammar_from_lino
• grammar::surface::grammar_to_lino
• grammar::surface::parse_grammar_surface
• grammar::surface::write_grammar_surface
• grammar::translate::grammar_concept_translation_rules
• grammar::translate::translate_grammar_surface
• grammar::validate::display_grammar_expression
• grammar::validate::validate
• grammar_names
• grammar_precedence_concepts
• graphql_adapter::lower_graphql
• identify_language
• language_catalog::canonical_language_name
• language_catalog::grammar_provenance
• language_catalog::language_candidates_for_path
• language_catalog::language_catalog
• language_catalog::language_entry
• language_catalog::language_for_path
• language_catalog::native_grammar
• language_catalog::native_grammars
• language_catalog::oracle_grammar_provenance
• language_foundation_models
• language_support::language_support
• language_support::translation_contract
• language_support::translation_contracts
• mixed_regions::detect_embedded_regions
• mixed_regions::detect_embedded_regions_in_tree
• mixed_regions::script_language
• mixed_regions::sniff_language
• native_construct_tree
• native_grammar_concept_reuse
• native_grammar_ids
• native_grammar_language
• native_grammar_rule_concepts
• native_grammar_source
• program_representation::analyze_program
• program_representation::analyze_program_decorated
• program_representation::construct_program
• program_representation::construct_program_from_fragments
• program_translation::decode_program_translation
• program_translation::read_translation_provenance
• program_translation::translate_program
• query::query_by_concept_term
• self_translate
• self_translate_decorated
• self_translation_language
• source_meanings_in
• sql_adapter::lower_sql
• sql_adapter::lower_sql_cst
• translate_native_construct
• translate_native_construct_decorated
• translate_native_construct_in
• translate_native_construct_tree
• translation::aborts::cast_message
• translation::aborts::overflow_message
• translation::aborts::rust_macro_message
• translation::aborts::zero_divisor_message
• translation::check::check_program
• translation::check::coerce
• translation::check::collect_calls
• translation::diagnostics::type_error
• translation::diagnostics::unsupported
• translation::emit_common::dependencies
• translation::emit_common::mutual_groups
• translation::emit_common::order_declarations
• translation::emit_common::unthreaded
• translation::emit_javascript::emit_javascript
• translation::emit_lean::emit_lean
• translation::emit_rocq::emit_rocq
• translation::emit_rust::emit_rust
• translation::ir::contains_kind
• translation::ir::prop_contains_kind
• translation::ir::prop_exprs
• translation::ir::rename_expr
• translation::ir::rename_function
• translation::ir::rename_main
• translation::ir::rename_prop
• translation::ir::rename_theorem
• translation::ir::tail_loop
• translation::javascript::parse_javascript
• translation::js_number::js_number
• translation::js_number::js_number_literal
• translation::lean::annotate_layout
• translation::lean::parse_lean
• translation::lean::span
• translation::lexer::describe
• translation::lexer::is_js_space
• translation::lexer::json_string
• translation::lexer::matching_brace
• translation::lexer::tokenize
• translation::lexer::tokenize_source
• translation::output::thread_output
• translation::proof::normalise_proof
• translation::proof::prop_functions
• translation::rocq::parse_rocq
• translation::rust::parse_rust
• translation::types::array
• translation::types::data
• translation::types::fixed
• translation::types::fixed_bounds
• translation::types::rust_fixed_type

Type Aliases

• decorators::DecoratorRecord
• grammar::feature::FormFields
• grammar::feature::Operation
• grammar::feature_runtime::GrammarResolver
• grammar::feature_runtime::SyntaxAttributes
• grammar::inference::active::ParserAcceptancePredicate
• grammar::inference::active::Symbol
• grammar::inference::semantic::ConstraintInstantiator
• grammar::inference::sequitur::Symbol
• grammar::inference::state_merging::Symbol
• grammar::interchange::GrammarEmitter
• grammar::interchange::GrammarFileReader
• grammar::interchange::GrammarImporter
• grammar::round_trip::GrammarEmitFn
• grammar::round_trip::GrammarImportFn
• translation::diagnostics::Result

Constants

• CORRESPONDENCE_KINDS
• FORMER_CONCEPT_IDS
• FORMER_CONCEPT_ID_VOCABULARY
• LOGIC_FAMILIES
• NATURAL_LANGUAGE_GRAMMAR_FIXTURES
• REQUIRED_CONCEPT_DISTINCTIONS
• REQUIRED_FOUNDATION_DISTINCTIONS
• SELF_TRANSLATION_LANGUAGES
• SEMANTIC_ENCODING
• SEMANTIC_OBSERVATION
• api_styles::API_OPERATIONS
• benchmark::D5_REQUIRED_AVG_F1
• benchmark::DEFAULT_CORPORA_ROOT
• benchmark::DEFAULT_CORPUS_MANIFEST
• benchmark::PUBLISHED_NATGI_AVG_F1
• benchmark::PUBLISHED_TREEVADA_AVG_F1
• decorators::DECORATOR_LEVELS
• document_formatting::CROSS_FORMAT_CONCEPTS
• document_formatting::CROSS_FORMAT_CONCEPT_IDS
• document_formatting::DOCUMENT_FORMATS
• grammar::concepts::GRAMMAR_CONCEPTS
• grammar::feature::FEATURE_EXPRESSION_FORMS
• grammar::feature::MATCHING_MODES
• grammar::feature::MAX_INTEGER_DIGITS
• grammar::feature::OPERATION_FORMS
• grammar::feature::SETTLING_STEPS
• grammar::fidelity::FORMER_GRAMMAR_CONSTRUCTS
• grammar::fidelity::GRAMMAR_CONSTRUCTS
• grammar::fidelity::GRAMMAR_FORMATS
• grammar::inference::eval::GOLDEN_CORPORA
• grammar::interchange::GRAMMAR_COMMAND_USAGE
• grammar::interchange::GRAMMAR_EXPORT_FORMATS
• grammar::interchange::GRAMMAR_IMPORT_FORMATS
• grammar::interchange::GRAMMAR_LOSSLESS_FORMATS
• grammar::interchange::GRAMMAR_LOWERING_FORMATS
• grammar::interchange::MAX_LOWERED_CHARACTERS
• grammar::merge::GRAMMAR_MERGE_METHOD
• grammar::round_trip::GRAMMAR_ROUND_TRIP_MARKER
• grammar::validate::GRAMMAR_DIAGNOSTIC_KINDS
• language_support::FOUR_LANGUAGE_SUPPORT
• language_support::LANGUAGE_REPRESENTATION_SCHEMA_VERSION
• parity::DATA_FORMAT_TARGETS
• parity::GRAMMAR_EMBEDDING_TARGETS
• parity::LANGUAGE_FIXTURES
• parity::MARKUP_LANGUAGE_TARGETS
• parity::NATURAL_LANGUAGE_TARGETS
• parity::PARITY_FIXTURES
• parity::PARITY_TARGETS
• parity::PROGRAMMING_LANGUAGE_TARGETS
• parity::SECOND_TIER_PROGRAMMING_LANGUAGE_TARGETS
• program_representation::PROGRAM_REPRESENTATION_SCHEMA_VERSION
• program_representation::PROGRAM_SNAPSHOT_SCHEMA_VERSION
• program_representation::SEMANTIC_CONSTRUCTS
• query_plan::QUERY_PLAN_VERSION
• sql_adapter::SQL_DIALECT_PROFILES
• translation::emit_common::IN_BOUNDS_READS
• translation::emit_rocq::FLOAT_PRELUDE
• translation::emit_rocq::ROCQ_PRELUDE
• translation::lean_root_names::LEAN_ROOT_NAMES
• translation::types::BOOL
• translation::types::FLOAT
• translation::types::INT
• translation::types::NAT
• translation::types::STRING
• translation::types::UNIT