-record(function, { parameters :: list(lustre@cli@project:type()), return :: lustre@cli@project:type() }).