Card is located in:

• m3front/src/builtinTypes/Card.m3
• bicycle/src/Card.m3