header

fun PrettyPrinter.header(decl: Declaration, instantiationsFileName: String)