package psmt2-frontend

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Psmt2Frontend.Smtlib_typed_logic`Source

Sourcetype th_def = {

sorts : (string * ((int * int) * (string -> (Smtlib_ty.ty list * int list) -> Smtlib_ty.desc))) list;
funs : (string * Smtlib_typed_env.fun_def) list;
par_funs : (string * (string list -> Smtlib_typed_env.fun_def)) list;

}

Sourcetype theory =

val new_fun : 
  Smtlib_ty.ty list ->
  Smtlib_ty.ty ->
  Smtlib_typed_env.assoc option ->
  Smtlib_typed_env.fun_def

Sourceval core : th_def

Sourceval ints : th_def

Sourceval reals : th_def

Sourceval reals_ints : th_def

Sourceval arrays : th_def

Sourceval floating_point : th_def

Sourceval bit_vectors : th_def

Sourceval add_theories : Smtlib_typed_env.env -> theory list -> Smtlib_typed_env.env

Sourceval contains : string -> string -> bool

val set_logic : 
  Smtlib_typed_env.env ->
  string Smtlib_syntax.data ->
  Smtlib_typed_env.env