Documentation

annSymEps :: (m ~ AnnotateMonad ext (AnnFailProb ext), PrecType ext ~ Sym p, Num p, Eq p) => ext -> m (AnnFailProb ext) #

annSymEpsProg :: forall p ext. (PrecType ext ~ Sym p, Num p, Eq p) => Program ext -> Either String (Program (AnnFailProb ext)) #