Teramachine marches on towards primary-school student level. Function inversion (in the mathematical sense) with one example (assuming one-shot learning) is implemented like this in the current code, to give you a flavor of how neat O’Caml code can look: let