package links

  1. Overview
  2. Docs
type t
and with_pos = t SourceCode.WithPos.t
val show_with_pos : with_pos -> Ppx_deriving_runtime.string
val make : ?name:CommonTypes.Name.t -> ?ty:Types.datatype -> unit -> t
val to_name : with_pos -> string
val to_type : with_pos -> Types.datatype
val set_name : with_pos -> CommonTypes.Name.t -> with_pos
val set_type : with_pos -> Types.datatype -> with_pos
val erase_type : with_pos -> with_pos
val has_type : with_pos -> bool
val traverse_map : with_pos -> o:'o -> f_pos:('o -> SourceCode.Position.t -> 'a * SourceCode.Position.t) -> f_name:('a -> CommonTypes.Name.t -> 'b * CommonTypes.Name.t) -> f_ty:('b -> Types.datatype -> 'c * Types.datatype) -> 'c * with_pos