Module type Sum.ALIEN

module type ALIEN = sig .. end

include Sig.X

val embed : r Sum.abstract -> r

val extract : r -> r Sum.abstract option