+ let full_card =
+ if CicUtil.is_meta_closed ty then
+ Some (MetadataConstraints.Eq constants_no)
+ else
+ None (* we already require a set of constants to appear, this additional
+ constraints is useless *)
+(* MetadataConstraints.Gt (constants_no - 1) *)
+ in