Documentation

prettyHardTerm :: HardTerm -> Doc Source

prettyTerm :: Applicative f => Term t v -> [String] -> Int -> (t -> Int -> f Doc) -> (v -> Int -> f Doc) -> f Doc Source