The statically-typed functions map of a contract. When the program is a
concrete literal (specific function names), each entry is precisely typed from
its inputs. When the program is the widened Program (an index
signature), it falls back to the loose CallableFunctions.
The statically-typed
functionsmap of a contract. When the program is a concrete literal (specific function names), each entry is precisely typed from itsinputs. When the program is the widened Program (an index signature), it falls back to the loose CallableFunctions.