helium-1.8: The Helium Compiler.

Index - <

<:>Helium.StaticAnalysis.Messages.Messages
<==>Helium.StaticAnalysis.Inferencers.KindInferencing