Module Lex_ho

module Lex_ho: sig .. end

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> Parse_ho.token

val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parse_ho.token

module E: CCError

type 'a or_error = [ `Error of string | `Ok of 'a ] 

val decl_of_string : string -> Ast_ho.t or_error

val decls_of_string : string -> Ast_ho.t list or_error

val term_of_string : string -> Libzipperposition.STerm.t option

val pterm : string -> Libzipperposition.TypedSTerm.t option