Expand a clause to the maximal arity, by inserting variable patterns and applying the body to variables.
ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.Functions
- 2 values
- PackageAgda-2.7.0.1
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceFunctions.hs
Get the name of defined symbol of the head normal form of a term. Returns Nothing if no such head exists.