Searched refs:CAxiom (Results 1 – 1 of 1) sorted by relevance
105 | CAxiom -- ^ Axiom or abstract defn constructor129 _ | irr || dontReduce -> pure CAxiom141 Function{funClauses = []} -> pure CAxiom147 Axiom{} -> pure CAxiom148 DataOrRecSig{} -> pure CAxiom149 AbstractDefn{} -> pure CAxiom879 CAxiom -> rewriteAM done