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
    
    Abi
    
    Alias
    
    Basic
    
    Empty
    
    Make
    
    S
    
    Bitv
    
    Bool
    
    Compiler
    
    Core
    
    Documentation
    
    Theory
    
    Effect
    
    Sort
    
    Empty
    
    Endianness
    
    Fabi
    
    Fbasic
    
    Filetype
    
    Float
    
    Format
    
    IEEE754
    
    Sort
    
    Init
    
    Label
    
    Language
    
    Mem
    
    Memory
    
    Minimal
    
    Origin
    
    Parser
    
    Grammar
    
    Bitv
    
    Bool
    
    Float
    
    Mem
    
    Rmode
    
    Stmt
    
    Make
    
    S
    
    Pass
    
    Desugar
    
    CT
    
    Program
    
    Rmode
    
    Role
    
    Register
    
    Semantics
    
    Source
    
    System
    
    Target
    
    Options
    
    Trans
    
    Unit
    
    Value
    
    Match
    
    Sort
    
    Name
    
    Top
    
    Top
    
    Var
    
    Ident
    
    Top

Legend:
Library
Module
Module type
Parameter
Class
Class type

Documents all declared theories.

module Theory : sig ... end

Theory documentation.

val theories : unit -> Theory.t list

theories () the declared theories.