Parameter Make_Typed.P

val print : string -> unit
val inc : Stdlib.in_channel
val flush : unit -> unit