module Config : COUNTEREXAMPLE_CONFIGval string_of_sexpr : sexpr -> stringval lparen : Str.split_result list -> unit Parser_combinators.parse_resultval rparen : Str.split_result list -> unit Parser_combinators.parse_resultval atom : Str.split_result list -> string Parser_combinators.parse_resultval sexp : Str.split_result list -> sexpr Parser_combinators.parse_resultval parse_sexps : string -> sexpr list optionval parse_sexpr_int : int -> sexpr -> Libsail.Ast_util.Big_int.num optionval value_of_sexpr : sexpr -> Jib.ctyp -> Value.valueval run : Interpreter.frame -> Value.value optionval 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