checkers.linear
Classes
LinearAnnotatedTypeFactory
LinearChecker
LinearVisitor