Define APIs as I $=$T$,$ F $,$ T is some set of type names and every $($f : t$1\backslash$times $...$ tk $->$ t$)$ in F being a

function declaration with arguments t$1,...,$ tk in T and result t in T $.$ A function with $0$ arguments