The PRINTHOOKS signature

Synopsis

signature PRINTHOOKS
structure PrintHooks : PRINTHOOKS

Interface

val prAbsyn : StaticEnv.staticEnv -> Absyn.dec -> unit
val prLambda : Lambda.lexp -> unit
val prLamFun : Lambda.lexp -> int -> unit

Description

prAbsyn st de