fact: Definition op_eqb (o o': op) : bool := match o , o' with | AND , AND => true | OR , OR => true | IMPL , IMPL => true | _ , _ => false end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause