diff options
Diffstat (limited to 'src/Specific/GF25519Reflective/Reified/AddJavaDisplay.log')
-rw-r--r-- | src/Specific/GF25519Reflective/Reified/AddJavaDisplay.log | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/src/Specific/GF25519Reflective/Reified/AddJavaDisplay.log b/src/Specific/GF25519Reflective/Reified/AddJavaDisplay.log new file mode 100644 index 000000000..156f0286e --- /dev/null +++ b/src/Specific/GF25519Reflective/Reified/AddJavaDisplay.log @@ -0,0 +1,45 @@ +raddW = +fun var : Syntax.base_type -> Type => +λ +x x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 + x18 : var Syntax.TZ, +Tbase Syntax.TZ x19 = x + x9; +Tbase Syntax.TZ x20 = x0 + x10; +Tbase Syntax.TZ x21 = x1 + x11; +Tbase Syntax.TZ x22 = x2 + x12; +Tbase Syntax.TZ x23 = x3 + x13; +Tbase Syntax.TZ x24 = x4 + x14; +Tbase Syntax.TZ x25 = x5 + x15; +Tbase Syntax.TZ x26 = x6 + x16; +Tbase Syntax.TZ x27 = x7 + x17; +Tbase Syntax.TZ x28 = x8 + x18; +(Return x19, Return x20, Return x21, Return x22, Return x23, +Return x24, Return x25, Return x26, Return x27, Return x28) + : forall var : Syntax.base_type -> Type, + expr Syntax.base_type Syntax.op + (Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Syntax.TZ -> + Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ * + Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ * + Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ * + Tbase Syntax.TZ) + +Argument scope is [function_scope] |