Module Nsatz_plugin.UtileSource

Sourceval pr : string -> unit
Sourceval prt0 : 'a -> unit
Sourceval info : (unit -> string) -> unit
Sourceval sinfo : string -> unit