module Merlin_typer

val is_valid : t -> bool

val fresh : unit_name:string -> stamp:bool Pervasives.ref list -> Extension.set -> t

val update : Merlin_parser.t -> t -> t

val env : t -> Env.t

val contents : t -> [ ] list

val exns : t -> exn list

val extensions : t -> Extension.set

val dump : Format.formatter -> t -> unit

val with_typer : t -> (unit -> 'a) -> 'a