Up

module Merlin_typer

: sig
#
type t
#
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
end