Lines Matching defs:context
27 (* Subtype context. *)
30 val context = field_context;
31 val context = subtypeTools.add_reduction2 curve_field context;
32 val context = subtypeTools.add_reduction2 curve_a1_carrier context;
33 val context = subtypeTools.add_reduction2 curve_a2_carrier context;
34 val context = subtypeTools.add_reduction2 curve_a3_carrier context;
35 val context = subtypeTools.add_reduction2 curve_a4_carrier context;
36 val context = subtypeTools.add_reduction2 curve_a6_carrier context;
37 val context = subtypeTools.add_reduction2 curve_zero_carrier context;
38 val context = subtypeTools.add_reduction2 curve_neg_carrier context;
39 val context = subtypeTools.add_reduction2 curve_double_carrier context;
40 val context = subtypeTools.add_reduction2 curve_add_carrier context;
41 val context = subtypeTools.add_rewrite2 curve_double_zero context;
42 val context = subtypeTools.add_rewrite2 curve_add_lzero context;
43 val context = subtypeTools.add_rewrite2 curve_add_lneg context;
44 val context = subtypeTools.add_rewrite2 curve_add_rzero context;
45 val context = subtypeTools.add_rewrite2 curve_add_rneg context;
47 val context = subtypeTools.add_reduction2 curve_group context;
48 val context = subtypeTools.add_rewrite2 example_prime_def context;
49 val context = subtypeTools.add_rewrite2 example_field_def context;
50 val context = subtypeTools.add_reduction2 example_curve context;
53 val elliptic_context = context;