Trait snarkvm_synthesizer_process::StackProgramTypes

pub trait StackProgramTypes<N: Network> {
    // Required methods
    fn get_register_types(
        &self,
        name: &Identifier<N>
    ) -> Result<&RegisterTypes<N>>;
    fn get_finalize_types(
        &self,
        name: &Identifier<N>
    ) -> Result<&FinalizeTypes<N>>;
}

Required Methods

fn get_register_types(&self, name: &Identifier<N>) -> Result<&RegisterTypes<N>>

Returns the register types for the given closure or function name.

fn get_finalize_types(&self, name: &Identifier<N>) -> Result<&FinalizeTypes<N>>

Returns the register types for the given finalize name.

Implementors

impl<N: Network> StackProgramTypes<N> for Stack<N>