Compiler.Opts.ConstantFold

Definitions

empty : Subst empty vars

Visibility: public export

constantFold : Ref Ctxt Defs => Name -> Core ()

Visibility: export