Parameter Printer.Env

type ty
type ty_var
type ty_cst
type term
type term_var
type term_cst
type formula
type t
type 'a key
val key : unit -> 'a key
val get : t -> 'a key -> 'a option
val set : t -> 'a key -> 'a -> t
module Ty_var : Dolmen_intf.Env.Print_id with type env := t and type id := ty_var and type name := Dolmen_std.Name.t
module Ty_cst : Dolmen_intf.Env.Print_id with type env := t and type id := ty_cst and type name := Dolmen_std.Name.t
module Term_var : Dolmen_intf.Env.Print_id with type env := t and type id := term_var and type name := Dolmen_std.Name.t
module Term_cst : Dolmen_intf.Env.Print_id with type env := t and type id := term_cst and type name := Dolmen_std.Name.t