Hax_engine.Subtype
module Make (FA : Features.T) (FB : Features.T) (S : Features.SUBTYPE.T with module A = FA and module B = FB) : sig ... end