package bap-core-theory

You can search for identifiers within the package.

in-package search v0.2.0

package bap-core-theory

bap-core-theory
- Bap_core_theory
  - Theory
    
    Basic
    
    Empty
    
    Make
    
    S
    
    Bitv
    
    Bool
    
    Core
    
    Documentation
    
    Theory
    
    Effect
    
    Sort
    
    Empty
    
    Fbasic
    
    Float
    
    Format
    
    IEEE754
    
    Sort
    
    Init
    
    Label
    
    Mem
    
    Memory
    
    Minimal
    
    Parser
    
    Grammar
    
    Bitv
    
    Bool
    
    Float
    
    Mem
    
    Rmode
    
    Stmt
    
    Make
    
    S
    
    Program
    
    Semantics
    
    Rmode
    
    Trans
    
    Value
    
    Sort
    
    Name
    
    Top
    
    Var
    
    Ident
    
    Top

Legend:
Library
Module
Module type
Parameter
Class
Class type

The theory of booleans.

val b0 : bool

b0 is false aka 0 bit

val b1 : bool

b1 is true aka 1 bit

val inv : bool -> bool

inv x inverts x.

val and_ : bool -> bool -> bool

and_ x y is a conjunction of x and y.

val or_ : bool -> bool -> bool

or_ x y is a disjunction of x and y.