Skip to main content Link Menu Expand (external link) Document Search Copy Copied
  • Home
  • Tutorials
    • Quick start
    • While tutorial
    • Types tutorial
  • Publications
    • PLDI'25
    • OOPSLA'24
    • SAS'24
    • PLDI'24
    • POPL'23
    • VMCAI'22
    • RTAS'21
  • API
    • binsec_codex
    • codex
    • cudd
    • frama_c_codex
    • patricia-tree
  • Jobs and Contact
  •   Repository
  1. API
  2. codex
  3. Single_value_abstraction
  4. Quadrivalent
  5. Boolean_Forward

Module Quadrivalent.Boolean_Forward

val not : (boolean, boolean) Operator.Forward_Arity.ar1
val (&&) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2
val (||) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2
val true_ : boolean Operator.Forward_Arity.ar0
val false_ : boolean Operator.Forward_Arity.ar0