!!!

Base

!==

EqualOps

#

Core

%

IntegralOpsCls BigInt

&

BigInt

&&

BooleanSyntax Base RepBooleanOps CSigmaProp SigmaProp SigmaProp SigmaPropAdapter SigmaPropConstMethods

*

NumericOpsCls JitCost Core BigInt

+

Transformer NumericOpsCls MapTransformer JitCost BigInt

++

HintsBag

+=

ThunkScope CostCounter

-

NumericOpsCls BigInt

/

JitCost BigInt

/!

IntegralOpsCls

:

Core

<

OrderingOpsCls

<:

Core

<:<

Elem

<<

LambdaOps

<=

OrderingOpsCls

=

Core

===

EqualOps

=>

Core

>

OrderingOpsCls JitCost SNumericType

>:

Core

>=

OrderingOpsCls JitCost

>>

LambdaOps

?:

OptionOps SType

???

Base

@

Core

^

RepBooleanOps

_

Core

_*

Core

_1

TupleOps2 TupleOps3 TupleOps4 TupleOps5 TrivialProp

_2

TupleOps2 TupleOps3 TupleOps4 TupleOps5

_3

TupleOps3 TupleOps4 TupleOps5

_4

TupleOps4 TupleOps5

_5

TupleOps5

_currentPass

Transforming

_dataInputs

CostingDataContext

_minerPubKey

CostingDataContext

{

Core

|

Base Rewriter BigInt

||

BooleanSyntax RepBooleanOps CSigmaProp SigmaProp SigmaProp SigmaPropAdapter SigmaPropConstMethods

}

Core

~

Rewriter