uhc-util-0.1.6.7: UHC utilities
UHC.Util.PrettyUtils
mkTexCmdDef :: (PP cmd, PP a, PP b) => cmd -> a -> b -> PP_Doc Source #
mkTexCmdUse :: (PP cmd, PP a) => cmd -> a -> PP_Doc Source #
mkTexCmdUse' :: (PP cmd, PP a) => cmd -> a -> PP_Doc Source #