cards: Add function specifications.