UHC.Util.PrettyUtils

Documentation

mkTexCmdDef :: (PP cmd, PP a, PP b) => cmd -> a -> b -> PP_Doc

mkTexCmdUse :: (PP cmd, PP a) => cmd -> a -> PP_Doc

mkTexCmdUse' :: (PP cmd, PP a) => cmd -> a -> PP_Doc