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