Current section
Files
Jump to
Current section
Files
include/integer_complexity@expression_Add.hrl
-record(add, {
lhs :: integer_complexity@expression:expression(),
rhs :: integer_complexity@expression:expression()
}).