Module BatOpaqueInnerSys

val opaque_identity : 'a -> 'a