Module Parse_tip

module Parse_tip: sig .. end

type 'a or_error = ('a, string) CCResult.t 

val parse_lexbuf : Lexing.lexbuf -> Tip_ast.statement list or_error

val parse_file : string -> Tip_ast.statement list or_error

val parse_stdin : unit -> Tip_ast.statement list or_error

val convert_ty : Tip_ast.ty -> Nunchaku_core.UntypedAST.ty

val convert_term : Tip_ast.term -> Nunchaku_core.UntypedAST.term

val convert_st : Tip_ast.statement -> Nunchaku_core.UntypedAST.statement list

val convert_st_l : ?into:Nunchaku_core.UntypedAST.statement CCVector.vector ->
       Tip_ast.statement list -> Nunchaku_core.UntypedAST.statement CCVector.vector

Parse + convert

val parse : ?mode:Parsing_utils.include_mode ->
       ?into:Nunchaku_core.UntypedAST.statement CCVector.vector ->
       [ `File of string | `Stdin ] ->
       Nunchaku_core.UntypedAST.statement CCVector.vector or_error