clairvoyant_coin_typed.v 2.89 KB