bedrock.lang.cpp.reserved_notation

(*
 * Copyright (c) 2024 BlueRock Security, Inc.
 * This software is distributed under the terms of the BedRock Open-Source License.
 * See the LICENSE-BedRock file in the repository root for details.
 *)

#[global] Reserved Notation "'valid<' ty > v"
  (at level 30, ty at level 20, v at level 1, format "valid< ty > v").

#[global] Reserved Notation "'validP<' ty > v"
  (at level 30, ty at level 20, v at level 1, format "validP< ty > v").