Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

18 lines (15 sloc) 0.786 kb
(************************************************************************)
(* v * The Coq Proof Assistant / The Coq Development Team *)
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
(************************************************************************)
open Loc
open Pp
open Names
open Glob_term
open Notation_term
val declare_reserved_type : identifier located list -> notation_constr -> unit
val find_reserved_type : identifier -> notation_constr
val anonymize_if_reserved : name -> glob_constr -> glob_constr
Jump to Line
Something went wrong with that request. Please try again.