Previous  Up  Next

Module TPTP_preprocess

module TPTP_preprocess: sig .. end

TPTP Preprocessor

This file preprocesses TPTP problems to adapt them for Nunchaku: 


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
       or_error