Module Mlsem_types.PEnv

type t
type Stdlib.Effect.t +=
  1. | Update : t -> unit Stdlib.Effect.t
type Stdlib.Effect.t +=
  1. | Get : t Stdlib.Effect.t
val sequential_handler : t -> ('a -> 'b) -> 'a -> 'b * t
val empty : t
val merge : t -> t -> t
val merge' : t list -> t
val register : string -> Sstt.Ty.t -> unit
val register_parametrized : string -> Sstt.Ty.t list -> Sstt.Ty.t -> unit
val printer_params : unit -> Sstt.Printer.params
val printer_params' : Sstt.Subst.t -> Sstt.Printer.params