User API

This is an example function:

LAMINAR.add_one(x: int)

An example function that increases a number

Parameters:

x – The input parameter to increase

Returns:

The successor of the given number