HOPS.GF

data Expr0

data Expr1

data Expr2

data Expr3

data Cmd

data PackedPrg

data Prg

type Name

nameSupply

packPrg

vars

anums

insertVar

aNumPrg

tagPrg

data Core

type CorePrg

core

data Env n

emptyEnv

evalCorePrg

evalCorePrgs

parsePrg

parsePrgErr