package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Smt_exp.CounterexampleSource

Parameters

Signature

Sourcetype sexpr =
  1. | List of sexpr list
  2. | Atom of string
Sourceval string_of_sexpr : sexpr -> string
Sourceval lparen : Str.split_result list -> unit Parser_combinators.parse_result
Sourceval rparen : Str.split_result list -> unit Parser_combinators.parse_result
Sourceval atom : Str.split_result list -> string Parser_combinators.parse_result
Sourceval sexp : Str.split_result list -> sexpr Parser_combinators.parse_result
Sourceval parse_sexps : string -> sexpr list option
Sourceval parse_sexpr_int : int -> sexpr -> Libsail.Ast_util.Big_int.num option
Sourceval find_arg : Parse_ast.l -> Jib_compile.ctx -> Jib.name -> Jib.ctyp -> (Jib.name * string option) list -> sexpr list -> Jib.name * Value_type.value
Sourceval build_counterexample : Parse_ast.l -> Jib_compile.ctx -> Jib.name list -> Jib.ctyp list -> (Jib.name * string option) list -> sexpr list -> (Jib.name * Value_type.value) list
Sourceval check : loc:Parse_ast.l -> ctx:Jib_compile.ctx -> env:Type_check.env -> ast:Type_check.typed_ast -> solver:counterexample_solver -> file_name:string -> function_id:Ast.id -> args:Jib.name list -> arg_ctyps:Jib.ctyp list -> arg_smt_names:(Jib.name * string option) list -> bool