diff options
| author |  qunyanm <unknown> | 2015-04-06 10:35:55 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-04-06 10:35:55 -0700 |
| commit | 8cac7f02bde3364c92763c26b0f75c1b5feef944 (patch) | |
| tree | 6dad47174675c2209aae74cbbc92af43d928eed5 /Binaries | |
| parent | ce0649d4207ab1edeea2b26141ad45af7a5ee796 (diff) | |
| parent | 0aeab928abc85e646dc58c4dc4670a03a36cbc2f (diff) | |
Merge
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/DafnyPrelude.bpl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Binaries/DafnyPrelude.bpl b/Binaries/DafnyPrelude.bpl index 4972517b..74bdb63e 100644 --- a/Binaries/DafnyPrelude.bpl +++ b/Binaries/DafnyPrelude.bpl @@ -101,6 +101,13 @@ type ref; const null: ref;
// ---------------------------------------------------------------
+// -- Traits -----------------------------------------------------
+// ---------------------------------------------------------------
+
+const unique NoTraitAtAll: ClassName;
+function TraitParent(ClassName): ClassName;
+
+// ---------------------------------------------------------------
// -- Boxing and unboxing ----------------------------------------
// ---------------------------------------------------------------
|