Module computation

Various kinds of computations.

Structs

• CompareResult
  Result of a PreparedComparison comparison.
• ComputationRef
  The computation type shared between SynthesizedComputation, ExprComputation and ExpressionComputation.
• ExprComputation
  A computation using an Expr. The result of the Expr is interpreted using an output encoding.
• ExpressionComputation
  A computation using an Expression. The arguments for the Expression are pre-processed, and he result of the Expression is interpreted using an output encoding.
• PreparedComparison
  A prepared comparison to an output value. Comparison is quicker, because we can directly compare against an i128 instead of having to decode a Value.
• SynthesizedComputation
  A synthesized computation.

Enums

• Arg
  An argrument for an expression.
• ArgEncoding
  The encoding of an input argument passed to an expression.
• OutputEncoding
  The output encoding of an expression.

Traits

• AsComputationRef
  Provides generic methods that work on references to computations.