pub fn freeze(self) -> Result<CompiledModule, Vec<VerificationError>> {
        let errors = BoundsChecker::new(&self).verify();
        if errors.is_empty() {
            Ok(CompiledModule(self))
        } else {
            Err(errors)
        }
    }
/// Converts this instance into `CompiledModule` after verifying it for basic internal
/// consistency. This includes bounds checks but no others.
Converts this instance into `CompiledModule` after verifying it for basic internal
consistency. This includes bounds checks but no others.
Converts this instance into ` CompiledModule ` after verifying it for basic internal consistency . This includes bounds checks but no others .
pub fn freeze(self) -> Result<CompiledModule, Vec<VerificationError>> {
        let errors = BoundsChecker::new(&self).verify();
        if errors.is_empty() {
            Ok(CompiledModule(self))
        } else {
            Err(errors)
        }
    }
pub fn freeze ( self ) -> Result < CompiledModule , Vec < VerificationError > > { let errors = BoundsChecker :: new ( & self ) . verify ( ) ; if errors . is_empty ( ) { Ok ( CompiledModule ( self ) ) } else { Err ( errors ) } }
Converts this instance into `CompiledModule` after verifying it for basic internal
consistency.
Converts this instance into ` CompiledModule ` after verifying it for basic internal consistency .
self