Curry.Syntax.Extension

Extensions

data Extension

data KnownExtension

classifyExtension

kielExtensions

Tools

data Tool

classifyTool