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. Log
  5. No_Log_Numeric_Enum
  6. argument-2-Sub
  7. Boolean_Backward

Module Sub.Boolean_Backward

val not : (boolean, boolean) Operator.Backward_Arity.ar1
val (&&) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2
val (||) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2