Module AstUtils.SymUtils

module SymUtils: sig .. end

val sym : Ast.Ast.exp -> bool

val get_constraint_vars : string list -> Constraint.Constraint.cexp -> string list

val get_sym_vars : Ast.Ast.exp -> Ast.Ast.var list