jf_relation::constraint_system

Type Alias Variable

Source 
pub type Variable = usize;
Expand description

An index to one of the witness values.

Trait Implementations§

Source§

impl From<BoolVar> for Variable

Source§

fn from(bv: BoolVar) -> Self

Converts to this type from the input type.