Module `Common.Pattern`

A Pattern defines the signature of modules that may be fixed with Fixed.Make and Fixed.Make2.

These signatures ensure that all the operations we want to support on our top level intermediate representations can be defined by the Fixed.Make functors.

module type S = sig ... end

module type S2 = sig ... end