HOPS.GF.Const

type Expr

data Expr0

data Expr1

data Expr2

data Expr3

data Core

indet

zero

core

simplify

isConstant

evalExpr

evalCore

expr