Feldspar.Optimize

witInteger

isExact

prj'

viewLit

simplifyUp

constFold

constArgs

type OptEnv

type Opt

tellVar

deleteVar

tellUnsafe

simplifyM

simplify

cmInterface

optimize