Module type Smtlib_sig.Param_S

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