function <function>
function <Name>
$> Cora <Name> aut
Parameter: aut: an automaton
Return value: Blabla
A notebook with call to <name> functions.