DCCL v3
arithmetic_extensions.proto
1 
2 import "dccl/option_extensions.proto";
3 
4 message ArithmeticOptions
5 {
6  required string model = 1;
7  optional bool debug_assert = 2 [default = false];
8 }
9 
10 extend .dccl.DCCLFieldOptions
11 {
12  optional ArithmeticOptions arithmetic = 1001;
13 }