kClosure | DDC.Core.Eval.Compounds |
kData | DDC.Core.Eval.Compounds |
kEffect | DDC.Core.Eval.Compounds |
kFun | DDC.Core.Eval.Compounds |
kFuns | DDC.Core.Eval.Compounds |
kindOfPrimName | DDC.Core.Eval.Env |
kRegion | DDC.Core.Eval.Compounds |
kWitness | DDC.Core.Eval.Compounds |