Trait snarkvm_synthesizer::prelude::StackProgramTypes

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

Required Methods

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

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

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

Returns the register types for the given finalize name.

Implementors

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