Module Sig.Common

type t
val inj : 'a -> 'b
val prj : 'a -> 'b