Interface ArkadeFunction

Present for covenant paths; absent for pure-tapscript paths (cancel/exit).

The function ABI: an ordered list of call arguments. Each entry is a typed descriptor { name, type } (which gives the matching functions.<name> argument a precise static type) or a bare name string (loose ArkadeArgValue). Absent for nullary paths (e.g. exit/cancel).