snarkvm_synthesizer_process

Trait StackProgramTypes

Source
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§

Source

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

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

Source

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

Returns the register types for the given finalize name.

Implementors§