Helium.StaticAnalysis.Directives.TS_CoreSyntax

type Core_TypingStrategies

data Core_Judgement

type Core_Judgements

data Core_TypeRule

data Core_TypingStrategy

data Core_UserStatement

type Core_UserStatements