Variable

Trait Variable 

Source
pub trait Variable {
    // Required method
    fn ty(&self) -> VariableType;
}
Expand description

A trait that defines types that can be used as API parameters in circuit construction.

This trait enables various types to be used interchangeably in circuit operations, including public variables, private variables, local variables, and constant values. Each implementor must provide its variable type representation.

Required Methods§

Source

fn ty(&self) -> VariableType

Returns the variable type representation for this variable. This is used internally by the circuit builder to track variable usage.

Implementations on Foreign Types§

Source§

impl Variable for bool

Source§

impl Variable for i8

Source§

impl Variable for i16

Source§

impl Variable for i32

Source§

impl Variable for i64

Source§

impl Variable for i128

Source§

impl Variable for u8

Source§

impl Variable for u16

Source§

impl Variable for u32

Source§

impl Variable for u64

Source§

impl Variable for u128

Implementors§