This package contains generic operations over Mirage `FLOW` implementations.