Agda.Compiler.Alonzo.PatternMonad
type Defs
data PState
type PM a