sig
  type 'a t
  val invariant : 'a Invariant.inv -> 'a Invariant.S1.t Invariant.inv
end