openvm_
pairing_
circuit
1.0.0-rc.0
openvm_pairing_circuit
Function
fp12_sub_expr
Copy item path
Source
pub fn fp12_sub_expr( config:
ExprBuilderConfig
, range_bus:
VariableRangeCheckerBus
, ) ->
FieldExpr