Documentation

attrInBindings :: Attribute -> [Binding] -> Bool Source #

compareAttrs :: Attribute -> Attribute -> Subst -> Bool Source #

numToInt :: Number -> Subst -> Maybe Integer Source #

matchesAnyNormalizationRule :: Expression -> Bool Source #

isNF :: Expression -> Bool Source #

meetCondition' :: Condition -> Subst -> [Subst] Source #

meetCondition :: Condition -> [Subst] -> [Subst] Source #

matchProgramWithCondition :: Expression -> Maybe Condition -> Program -> Maybe [Subst] Source #