aboutsummaryrefslogtreecommitdiff
path: root/gramlib/ploc.mli
blob: fad883e11af1229f52d49d190ac98a61ce399d03 (plain)
1
2
3
4
5
6
7
8
9
10
11
(* camlp5r *)
(* ploc.mli,v *)
(* Copyright (c) INRIA 2007-2017 *)

val make_unlined : int * int -> Loc.t
   (** [Ploc.make_unlined] is like [Ploc.make] except that the line number
       is not provided (to be used e.g. when the line number is unknown. *)

val dummy : Loc.t
   (** [Ploc.dummy] is a dummy location, used in situations when location
       has no meaning. *)