Documentation for tudla_contracts