eval

type Evaluator struct {
	// contains filtered or unexported fields
}

type Processor interface {
	// Bits returns the word size of the processor.
	Bits() uint
	// Const builds the n-bit constant with value x.
	Const(x uint64, n uint) Value
	// ITE returns x if l≡r else y.
	ITE(l, r, x, y Value) Value
	// ADD is addition with carry in/out.
	ADD(x, y, cin Value) (sum, cout Value)
	// SUB is subtraction with borrow in/out.
	SUB(x, y, bin Value) (diff, bout Value)
	// MUL is multiply with upper/lower parts of the result.
	MUL(x, y Value) (hi, lo Value)
	// SHL shifts left by s.
	SHL(x Value, s uint) Value
	// SHR shifts right by s.
	SHR(x Value, s uint) Value
	// Errors returns any accumulated errors.
	Errors() []error
}

type Value interface {
	// Bits returns the number of bits required to represent the value.
	Bits() uint
}