module Preprocessor: sig .. end
exception SygusError
exception SetLogicError
exception SetFeatureError
val symbolListToSigature : string list -> IntermediateTypes.signature list
val getStringFromSort : Ast.sort -> string
val getStringFromSignature : IntermediateTypes.signature -> string
val getSignatureStringList : IntermediateTypes.signature list -> string list
val getsub : string -> int -> int -> string
val getLogicList : string -> string list
val settingLogicSignature : string -> IntermediateTypes.signature list
val checkBVsort : IntermediateTypes.signature -> bool
val isBVinSignature : IntermediateTypes.signature list -> bool
val getSymbolOfsortdecl : Ast.sort_decl -> string
val getSymbolOfsortedvarlist : Ast.sorted_var list -> string list
val getSymbolOfdtconddeclist : Ast.dt_cond_dec list -> string list
val getSymbolOfDataTypes : (Ast.sort_decl * Ast.dt_dec) list -> string list
val getParameterPerSort : Ast.sorted_var list -> (string, string list) Stdlib.Hashtbl.t
val makeGTBfTermVarlist : string list -> Ast.gterm list
val checkgtermlist : Ast.gterm list -> (string, string list) Stdlib.Hashtbl.t -> Ast.gterm list
val checkGrammarlist : ('a * Ast.grouped_rule_list) list ->
(string, string list) Stdlib.Hashtbl.t -> ('a * Ast.grouped_rule_list) list
val changeVarsortToParam : Ast.grammar_def -> (string, string list) Stdlib.Hashtbl.t -> Ast.grammar_def
val changeInvConstraintToConstraint : Ast.cmd -> (Ast.symbol * Ast.sorted_var list) list -> Ast.cmd list
val desugar : Ast.cmd list -> Ast.cmd list
val preprocess : Ast.cmd list -> Ast.cmd list