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. Domains
  4. Bitwise
  5. Make
  6. argument-1-Sub
  7. Boolean_Forward

Module Sub.Boolean_Forward

val not : (boolean, boolean) Sig.Context_Arity_Forward(Context).ar1
val (&&) : (boolean, boolean, boolean) Sig.Context_Arity_Forward(Context).ar2
val (||) : (boolean, boolean, boolean) Sig.Context_Arity_Forward(Context).ar2
val true_ : boolean Sig.Context_Arity_Forward(Context).ar0
val false_ : boolean Sig.Context_Arity_Forward(Context).ar0