p
fix
package fix
Type Members
- final class LinearTypes extends SemanticRule
- case class MultipleDerefs(t: Term, count: Int)(implicit doc: SemanticDocument) extends Diagnostic with Product with Serializable
- case class ZeroDerefs(t: Term)(implicit doc: SemanticDocument) extends Diagnostic with Product with Serializable