TypePP

DATE : July 2001
AUTHOR : underdarkPrime
ADDRESS : underdarkPrime@yahoo.com

Index


  1. ppType

It provides a pretty printer for values of type TypeDD.Type.

ppType

ppType : ppstream -> TypeDD.Type -> unit



The pretty printer can be installed in from the interpreter by executing the command installPP ppType from the interpreter.

Generated by mosmldoc --underdarkPrime