Module Tip_ast.Smbc_res

module Smbc_res: sig .. end

type entry =

`\|`	`Val of Tip_ast.term * Tip_ast.term`
`\|`	`Ty of Tip_ast.ty * Tip_ast.var list`

type model = entry list

type t =

val pp_entry : Format.formatter -> entry -> unit

val pp_model : model CCFormat.printer

val pp : t CCFormat.printer