blob: 7bb890d18da4497c4ff7cf0f94460b2117ba253a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* $Id$ *)
open Term
(*s This module collects the global references of the standard library
used in ocaml files *)
(* Natural numbers *)
val glob_nat : global_reference
val glob_O : global_reference
val glob_S : global_reference
(* Special variable for pretty-printing of constant naturals *)
val glob_My_special_variable_nat : global_reference
|
