sig
  type 'a or_error = ('a, string) CCResult.t
  val parse_lexbuf :
    Lexing.lexbuf -> Tip_ast.statement list Parse_tip.or_error
  val parse_file : string -> Tip_ast.statement list Parse_tip.or_error
  val parse_stdin : unit -> Tip_ast.statement list Parse_tip.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
  val parse :
    ?mode:Parsing_utils.include_mode ->
    ?into:Nunchaku_core.UntypedAST.statement CCVector.vector ->
    [ `File of string | `Stdin ] ->
    Nunchaku_core.UntypedAST.statement CCVector.vector Parse_tip.or_error
end