path: root/plugins/nsatz/utile.mli

(* Printing *)
val pr : string -> unit
val prt0 : 'a -> unit
val info : (unit -> string) -> unit
val sinfo : string -> unit