Helium.StaticAnalysis.Directives.TS_Syntax

data Judgement

data SimpleJudgement

type SimpleJudgements

data TypeRule

type TypingStrategies

data TypingStrategy

data UserStatement

type UserStatements