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. binsec_codex
  3. Binsec_codex_lib
  4. Dba2Codex
  5. Create
  6. Numeric_simple
  7. Boolean_Forward

Module Numeric_simple.Boolean_Forward

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