Print (Prelude.Print)

val bool : bool -> unit

val n0 : N0.t -> unit

val n1 : N1.t -> unit

val int : int -> unit

val pair : 
  ?left:string ->
  ?sep:string ->
  ?right:string ->
  ('a -> string) ->
  ('b -> string) ->
  ('a * 'b) ->
  unit

val list : 
  ?left:string ->
  ?sep:string ->
  ?right:string ->
  ('a -> string) ->
  'a list ->
  unit

list is (Lists.to_string >> print).

val string : 'a -> 'a

val interval : 
  ?left:string ->
  ?sep:string ->
  ?right:string ->
  (int * int) ->
  unit

val option : ('a -> string) -> 'a Option.t -> unit

val result : 
  error:('a -> string) ->
  ok:('b -> string) ->
  ('b, 'a) Stdlib.result ->
  unit