python ode constraint code example

Example: python type constraint

# Example of typing constraint in python (From 3.5)
def greeting(name: str) -> str:
    return 'Hello ' + name