Agda-2.2.6: A dependently typed functional programming language and proof assistant

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