functor (S : Res.S) ->
  sig
    val print_atom : Format.formatter -> S.atom -> unit
    val hyp_info :
      S.clause ->
      string * string option * (Format.formatter -> unit -> unit) list
    val lemma_info :
      S.clause ->
      string * string option * (Format.formatter -> unit -> unit) list
    val assumption_info :
      S.clause ->
      string * string option * (Format.formatter -> unit -> unit) list
  end