Module Verifier

module Verifier: sig .. end

verify the answer of sygus string

val verify : Ast.symbol * Ast.sorted_var list * Ast.sort * Ast.term ->
       Ast.cmd list -> IntermediateTypes.verifyResult

verify the given sygus ast and the presumed answer body of synth-fun

(fname,args,sort,term) :

term : the body of function

sort : return sort of function

args : parameters of function

fname : function name

cmds : A sygus ast