Module Swhid.PpSource

Sourceval object_type : Format.formatter -> Lang.object_type -> unit
Sourceval identifier_core : Format.formatter -> Lang.identifier_core -> unit
Sourceval context_qualifier : Format.formatter -> Lang.context_qualifier -> unit
Sourceval qualifier : Format.formatter -> Lang.qualifier -> unit
Sourceval qualifiers : Format.formatter -> Lang.qualifier list -> unit
Sourceval identifier : Format.formatter -> Lang.identifier -> unit