Module type Smtlib.Param_S

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