(************************************************************************) (* * The Rocq Prover / The Rocq Development Team *) (* v * Copyright INRIA, CNRS and contributors *) (* <O___,, * (see version control and CREDITS file for authors & dates) *) (* \VV/ **************************************************************) (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (* * (see LICENSE file for the text of the license) *) (************************************************************************)
(** The ast type contains generic metadata for AST nodes. *) type'a t = {
v : 'a;
loc : Loc.t option;
}
let make ?loc v = { v; loc }
letmap f n = { n with v = f n.v } let map_with_loc f n = { n with v = f ?loc:n.loc n.v } let map_from_loc f l = let loc, v = l in
{ v = f ?loc v ; loc }
let with_val f n = f n.v let with_loc_val f n = f ?loc:n.loc n.v
let eq f x y = f x.v y.v
module Smart = struct letmap f n = let v' = f n.v in if v' == n.v then n else {n with v=v'} end
