Up – Index » frama-c-server » Server » Printer_tag » Tag

Module type `Printer_tag.Tag`

val tag : localizable -> string