Documentation

adtRPO :: (Handle, Handle) -> OCAlgebra (ConstraintsADT Op) RuntimeTerm IO Source #

getVars :: RuntimeTerm -> HashSet Op Source #

varsEQ :: RuntimeTerm -> RuntimeTerm -> WQO Op Source #

cgen :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #