@[reducible, inline]

abbrev EvmYul.Yul.Ast.Literal : Type

Equations

• EvmYul.Yul.Ast.Literal = EvmYul.UInt256

instance EvmYul.Yul.Ast.instToStringIdentifier : ToString Identifier

Equations

• EvmYul.Yul.Ast.instToStringIdentifier = inferInstanceAs (ToString String)

instance EvmYul.Yul.Ast.instInhabitedIdentifier : Inhabited Identifier

Equations

• EvmYul.Yul.Ast.instInhabitedIdentifier = { default := "" }

instance EvmYul.Yul.Ast.instDecidableEqIdentifier : DecidableEq Identifier

Equations

• EvmYul.Yul.Ast.instDecidableEqIdentifier = String.decEq

@[reducible, inline]

abbrev EvmYul.Yul.Ast.PrimOp : Type

Equations

• EvmYul.Yul.Ast.PrimOp = EvmYul.Operation EvmYul.OperationType.Yul

def EvmYul.Yul.Ast.stringOfPrimOp : PrimOp → String

Equations

• EvmYul.Yul.Ast.stringOfPrimOp = toString ∘ repr

instance EvmYul.Yul.Ast.instToStringPrimOp : ToString PrimOp

Equations

• EvmYul.Yul.Ast.instToStringPrimOp = { toString := EvmYul.Yul.Ast.stringOfPrimOp }

inductive EvmYul.Yul.Ast.FunctionDefinition : Type

• Def : List Identifier → List Identifier → List Stmt → FunctionDefinition

inductive EvmYul.Yul.Ast.Expr : Type

• PrimCall : PrimOp → List Expr → Expr
• Call : FunctionDefinition → List Expr → Expr
• Var : Identifier → Expr
• Lit : Literal → Expr

inductive EvmYul.Yul.Ast.Stmt : Type

• Block : List Stmt → Stmt
• Let : List Identifier → Stmt
• LetEq : Identifier → Expr → Stmt
• LetCall : List Identifier → FunctionDefinition → List Expr → Stmt
• LetPrimCall : List Identifier → PrimOp → List Expr → Stmt
• Assign : Identifier → Expr → Stmt
• AssignCall : List Identifier → FunctionDefinition → List Expr → Stmt
• AssignPrimCall : List Identifier → PrimOp → List Expr → Stmt
• ExprStmtCall : FunctionDefinition → List Expr → Stmt
• ExprStmtPrimCall : PrimOp → List Expr → Stmt
• Switch : Expr → List (Literal × List Stmt) → List Stmt → Stmt
• For : Expr → List Stmt → List Stmt → Stmt
• If : Expr → List Stmt → Stmt
• Continue : Stmt
• Break : Stmt
• Leave : Stmt

def EvmYul.Yul.Ast.FunctionDefinition.params : FunctionDefinition → List Identifier

Equations

• (EvmYul.Yul.Ast.FunctionDefinition.Def params a a_1).params = params

def EvmYul.Yul.Ast.FunctionDefinition.rets : FunctionDefinition → List Identifier

Equations

• (EvmYul.Yul.Ast.FunctionDefinition.Def params a a_1).rets = a

def EvmYul.Yul.Ast.FunctionDefinition.body : FunctionDefinition → List Stmt

Equations

• (EvmYul.Yul.Ast.FunctionDefinition.Def params a a_1).body = a_1