Formalise pattern inference
The implementation of LIGO now uses pattern inference ligolang/ligo!2040 (merged).
The formalisation needs to be updated to reflect this.
The implementation of LIGO now uses pattern inference ligolang/ligo!2040 (merged).
The formalisation needs to be updated to reflect this.