sig
  type 'a or_error = ('a, string) CCResult.t
  val preprocess_exn :
    Nunchaku_core.UntypedAST.statement Sequence.t ->
    Nunchaku_core.UntypedAST.statement CCVector.ro_vector
  val preprocess :
    Nunchaku_core.UntypedAST.statement Sequence.t ->
    Nunchaku_core.UntypedAST.statement CCVector.ro_vector
    TPTP_preprocess.or_error
end