Up

Module type S1 = Invariant_intf.S1

Signature

type 'a t

val invariant : 'a Invariant_intf.inv -> 'a t Invariant_intf.inv