HOPS.GF

data Expr

data Expr0

data Expr1

data Expr2

data Expr3

data PackedExpr

type Name

nameSupply

packExpr

vars

anums

insertVar

aNumExpr

tagExpr

data Core

core

data Env n

emptyEnv

evalCoreS

evalCore

parseExpr

parseExprErr