#lang sml (* * (c) Andreas Rossberg 2007 * * Printer for abstract core grammar *) signature PP_CORE = sig type VId = GrammarCore.VId type TyCon = GrammarCore.TyCon type StrId = GrammarCore.StrId type longVId = GrammarCore.longVId type longTyCon = GrammarCore.longTyCon type longStrId = GrammarCore.longStrId type TyVarseq = GrammarCore.TyVarseq type Ty = GrammarCore.Ty type Dec = GrammarCore.Dec val ppVId : TextIO.outstream * int * VId -> unit val ppTyCon : TextIO.outstream * int * TyCon -> unit val ppStrId : TextIO.outstream * int * StrId -> unit val ppLongVId : TextIO.outstream * int * longVId -> unit val ppLongTyCon : TextIO.outstream * int * longTyCon -> unit val ppLongStrId : TextIO.outstream * int * longStrId -> unit val ppTyVarseq : TextIO.outstream * int * TyVarseq -> unit val ppTy : TextIO.outstream * int * Ty -> unit val ppDec : TextIO.outstream * int * Dec -> unit end;