Nsatz_plugin.Utile
val pr : string -> unit
val prt0 : 'a -> unit
val info : ( unit -> string ) -> unit
val sinfo : string -> unit