snarkvm_synthesizer::prelude

Trait StackProgramTypes

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

Source

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

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

Source

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

Returns the register types for the given finalize name.

Implementors§

Source§

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