CSPM.Prelude

data BuiltIn

builtins

builtInName

transparentFunctionForOccName

externalFunctionForOccName