inferredDepFun
scala.caps.internal.inferredDepFun
final class inferredDepFun extends StaticAnnotation
An annotation used internally to mark a function type that was converted to a dependent function type during setup of inferred types. Such function types should not map roots to result variables.
Attributes
- Source
- package.scala
- Graph
-
- Supertypes
In this article