Agda.Compiler.Alonzo.PatternMonad
type
Defs
data
PState
initPState
type
PM
a
getPDefs
getPcnt
getPlst
getPclause
putPlst
putPcnt
incPcnt
addWildcard
addVar