fact: Definition order (o o': option bool) := match o , o' with | None , None | Some _ , None => True | Some b , Some b' => b = b' | None , Some b => False end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause