Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Auto.SearchControl
Documentation
occursCheck
::
forall
a o.
Metavar
a (
RefInfo
o) ->
HNExp
o ->
IO
Bool
Source
prioTypeUnknown
::
Int
Source
prioTypecheckArgList
::
Int
Source
prioInferredTypeUnknown
::
Int
Source
prioPreCompare
::
Int
Source
prioCompare
::
Int
Source
prioCompareArgList
::
Int
Source
prioCompIota
::
Int
Source
prioCompChoice
::
Int
Source
prioNo
::
Int
Source
Produced by
Haddock
version 2.4.2