[−][src]Module solana_libra_bytecode_verifier::type_memory_safety

This module defines the transfer functions for verifying type and memory safety of a procedure body.

Structs