Module Problem.Res

module Res: sig .. end

type info = {

type unknown_info = 

type ('t, 'ty) t = 

val mk_info : ?message:string -> backend:string -> time:float -> unit -> info

val map : term:('t1 -> 't2) ->
       ty:('ty1 -> 'ty2) -> ('t1, 'ty1) t -> ('t2, 'ty2) t

val map_m : f:(('t1, 'ty1) Model.t -> ('t2, 'ty2) Model.t) ->
       ('t1, 'ty1) t -> ('t2, 'ty2) t

val print : (TermInner.prec -> 't Problem.printer) ->
       'ty Problem.printer -> ('t, 'ty) t Problem.printer

val print_info : info Problem.printer

val print_unknown_info : unknown_info Problem.printer

val print_head : ('a, 'b) t Problem.printer

val to_sexp : 't Problem.to_sexp ->
       'ty Problem.to_sexp -> ('t, 'ty) t Problem.to_sexp