Module partition
solana_libra_bytecode_verifier
This module defines the partition data structure used for tracking equality among nonces.