wytp.proof.rules.record
Classes
RecordEqualityCaseAnalysis