uhc-util-0.1.5.4: 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