Documentation
matchCompiled :: CompiledClauses -> MaybeReducedArgs -> TCM (Reduced (Blocked Args) Term)Source
type Stack = [(CompiledClauses, MaybeReducedArgs, Args -> Args)]Source
matchCompiled :: CompiledClauses -> MaybeReducedArgs -> TCM (Reduced (Blocked Args) Term)Source
type Stack = [(CompiledClauses, MaybeReducedArgs, Args -> Args)]Source