Language.REST.ProofGen
opToLH :: Op -> String Source #
withParens :: Bool -> String -> String Source #
toLH :: Bool -> RuntimeTerm -> String Source #
toProof :: Path Rewrite RuntimeTerm a -> String Source #