package yices2_bindings

You can search for identifiers within the package.

in-package search v0.2.0

yices2_bindings
- Yices2_SMT2
  - Cont
  - ParseInstruction
  - ParseTerm
  - ParseType
  - SMT2
  - Session
  - StringHashtbl
  - VarMap
  - Variables
- Yices2_ext_bindings
  - Action
  - Config
  - Context
  - ErrorPrint
  - GC
  - Global
  - List
    
    Assoc
    
    Infix
    
    MONAD
    
    Ref
    
    Traverse
    
    M
  - Model
  - Names
  - PP
  - Param
  - Term
    
    Arith
    
    BV
    
    Names
  - Type
    
    Names
  - Types
    
    FILE
- Yices2_header
  - TMP
- Yices2_high
  - Error
  - ErrorHandling
  - ExceptionsErrorHandling
  - MList
    
    M
  - MTerm
    
    M
  - Make
    
    Config
    
    Context
    
    EH
    
    ErrorPrint
    
    GC
    
    Global
    
    Model
    
    Names
    
    PP
    
    Param
    
    Term
    
    Arith
    
    BV
    
    Names
    
    Type
    
    Names
  - Monad
  - SumErrorHandling
  - Types
    
    FILE
- Yices2_high_types
  - API
    
    Config
    
    Context
    
    ErrorPrint
    
    GC
    
    Global
    
    Model
    
    Names
    
    PP
    
    Param
    
    Term
    
    Arith
    
    BV
    
    Names
    
    Type
    
    Names
  - Types
- Yices2_low
  - Conv
  - Types
    
    FILE
- Yices2_low_types
  - API
    
    Conv
    
    Types
    
    FILE
  - BaseTypes
    
    FILE

Legend:
Library
Module
Module type
Parameter
Class
Class type

val ddisplay : Yices2_high_types.Types.display

val type_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.type_t ->
  unit

val term_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t ->
  unit

val terms_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t list ->
  layout:bool ->
  unit

val model_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.model_t Ctypes.ptr ->
  unit

val term_values_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.model_t Ctypes.ptr ->
  Yices2_low.Types.term_t list ->
  unit

val type_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.type_t ->
  unit

val term_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t ->
  unit

val terms_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t list ->
  layout:bool ->
  unit

val model_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.model_t Ctypes.ptr ->
  unit

val term_values_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.model_t Ctypes.ptr ->
  Yices2_low.Types.term_t list ->
  unit

val type_string : 
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.type_t ->
  string

val term_string : 
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t ->
  string

val model_string : 
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.model_t Ctypes.ptr ->
  string