Here is a list of all namespace functions with links to the namespace documentation for each function:

- n -

• nextafter() : math, numpy
• nondet_bool() : esbmc
• nondet_dict() : esbmc, nondet
• nondet_float() : esbmc
• nondet_int() : esbmc
• nondet_leaf_kind() : dynamic_type_detail
• nondet_list() : esbmc, nondet
• nondet_str() : esbmc
• norm() : linalg
• not_equal() : numpy
• nth_field_size_in_derived() : esbmct
• numeric_binding_kind() : dynamic_type_detail