Documentation

example :: IO () Source #

eithero' :: (Logical a, Logical b) => Term (Either a b) -> Goal () Source #