DDC.Core.Load

data AnTEC a n

data Error n err

data Mode n

data CheckTrace

Loading modules

loadModuleFromFile

loadModuleFromString

loadModuleFromTokens

Loading expressions

loadExpFromString

loadExpFromTokens

Loading types

loadTypeFromString

loadTypeFromTokens

Loading witnesses

loadWitnessFromString

loadWitnessFromTokens