Functions

The Nada DSL supports a limited form of user-defined functions.

Basic Example

The example below introduces a function that calculates the total of three secret integer values. Notice that the arguments and the function itself both have Python type annotations.