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 value_of_sexpr : sexpr -> Jib.ctyp -> Value.value
Sourceval find_arg : Ast.id -> Jib.ctyp -> (Ast.id * string option) list -> sexpr list -> Ast.id * Value.value
Sourceval build_counterexample : Ast.id list -> Jib.ctyp list -> (Ast.id * string option) list -> sexpr list -> (Ast.id * Value.value) list
Sourceval check : env:Type_check.Env.t -> ast:(Type_check.tannot, 'a) Ast_defs.ast -> solver:counterexample_solver -> file_name:string -> function_id:Ast.id -> args:Ast.id list -> arg_ctyps:Jib.ctyp list -> arg_smt_names:(Ast.id * string option) list -> unit