links

The Links Programming Language
IN THIS PACKAGE
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