package KaSim

  1. Overview
  2. Docs
type position = {
  1. chr : int;
  2. line : int;
}
type range = {
  1. file : string;
  2. from_position : position;
  3. to_position : position;
}
type t = range
type !'a annot = 'a * t
type !'a maybe = ?pos:t -> 'a
val of_pos : Lexing.position -> Lexing.position -> t
val dummy : t
val dummy_annot : 'a -> 'a annot
val has_dummy_annot : 'a annot -> bool
val to_string : t -> string
val print : Format.formatter -> t -> unit
val print_annot : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a annot -> unit
val annot_of_yojson : ?filenames:string array -> (Yojson.Basic.json -> 'a) -> Yojson.Basic.json -> 'a annot
val annot_to_yojson : ?filenames:int Mods.StringMap.t -> ('a -> Yojson.Basic.json) -> 'a annot -> Yojson.Basic.json
val write_range : Bi_outbuf.t -> t -> unit
val string_of_range : ?len:int -> t -> string
val read_range : Yojson.Safe.lexer_state -> Lexing.lexbuf -> t
val range_of_string : string -> t
OCaml

Innovation. Community. Security.