Searched defs:ImpossibleError (Results 1 – 1 of 1) sorted by relevance
15 | ImpossibleError -- ^ 154 constructor22 agdaErrorToInt ImpossibleError = 154 function