|
Agda.Syntax.Internal.Pattern |
|
|
|
|
Documentation |
|
|
|
|
|
Constructors | Hole | | OHCon QName (Maybe (Arg Type)) OneHolePatterns | The type serves the same role as the type
argument to ConP.
TODO: If a hole is plugged this type may
have to be updated in some way.
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |