From 94b2f36a9461f5ec6e0c6a048c96eec333e82b65 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Jan 2004 08:47:53 +0000 Subject: [PATCH] sample aliases language --- helm/ocaml/cic_disambiguation/tests/aliases.txt | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 helm/ocaml/cic_disambiguation/tests/aliases.txt diff --git a/helm/ocaml/cic_disambiguation/tests/aliases.txt b/helm/ocaml/cic_disambiguation/tests/aliases.txt new file mode 100644 index 000000000..12b09fff1 --- /dev/null +++ b/helm/ocaml/cic_disambiguation/tests/aliases.txt @@ -0,0 +1,6 @@ +alias id foo = cic:/a.con +alias id bar = cic:/b.con +alias symbol "plus" (instance 0) = "real plus" +alias symbol "plus" (instance 1) = "natural plus" +alias num (instance 0) = "real number" +alias num (instance 1) = "natural number" -- 2.39.2