Closed c-cube closed 8 years ago
fmf.card
The meaning of (fmf.card t n) is "the cardinality of the type of t is at most n.
fmf.card
in CVC4