PyContracts

Voir :

Voir aussi :

icontract
mypy

Voir programmation par contrat en générale :

pipenv install PyContracts

# coding: utf-8
 
from contracts import contract
 
#contracts.disable_all()
 
@contract
def div(a, b):
    """
    Simple division
    :type a: int,>0
    :type b: int,>0
    :rtype: float,>0
    """
    return a / b