List of all items

Structs

• wall::Source
• wall::Wall

Enums

• CheckVerdict
• Explanation
• Verdict

Functions

• check
• explain
• verify
• wall::current_id
• wall::render_artifact_bytes
• wall::resolve

Statics

• wall::CURRENT

Constants

• ARTIFACT_DECODE_LINE
• format::ARTIFACT_CERTIFICATE_ROOT
• format::CERT_SCHEMA_VERSION
• format::CURRENT_WALL_ID
• format::FORMAT_VERSION
• format::WASM_GC_CAPABILITIES
• wall::CERT_ACCEPTANCE_SOUNDNESS
• wall::CERT_ACCEPTANCE_SOUNDNESS_CORE
• wall::CERT_ACCEPTED_ARTIFACT
• wall::CERT_ACCEPTED_ARTIFACT_CORE
• wall::CERT_CLAIM_AXES
• wall::CERT_COMPOSITION_SOUNDNESS
• wall::CERT_CONSTRUCT_VERBATIM_SOUNDNESS
• wall::CERT_DECODE
• wall::CERT_DISCHARGE_COMPOSITION
• wall::CERT_DISCHARGE_CONSTRUCT
• wall::CERT_DISCHARGE_EXPR_FRAGMENT
• wall::CERT_DISCHARGE_FIELD_PROJECTION
• wall::CERT_DISCHARGE_INT_DISPATCH
• wall::CERT_DISCHARGE_RECURSION
• wall::CERT_DISCHARGE_STRING
• wall::CERT_DISCHARGE_VERBATIM
• wall::CERT_EXPR_FRAGMENT_ACCEPTED
• wall::CERT_EXPR_FRAGMENT_SEMANTICS
• wall::CERT_EXPR_FRAGMENT_SOUNDNESS
• wall::CERT_FIELD_PROJECTION_SOUNDNESS
• wall::CERT_INTERPRETER_SEQUENCING
• wall::CERT_INT_DISPATCH_SOUNDNESS
• wall::CERT_MUTUAL_RECURSION_SOUNDNESS
• wall::CERT_PLAN_BYTES
• wall::CERT_PLAN_CHECK
• wall::CERT_PLAN_LOWER
• wall::CERT_PRELUDE
• wall::CERT_RECURSION_SOUNDNESS
• wall::CERT_SCHEMA
• wall::CERT_SCHEMA_CORE
• wall::CERT_STANDARD_FACE
• wall::CERT_STRING_SOUNDNESS
• wall::CERT_WASM_SLICE
• wall::LEAN_TOOLCHAIN
• wall::PRISTINE_ROOTS
• wall::SOURCES