law IsFalse

bend-lawful-stdlib@0.1.0.0 · src/nat.bend:109

import Base

109# Motives that refute {False{} == True{}} and {True{} == False{}}.
110law IsFalse:
111  for c: Bool
112  Type