//VarExpr returns an Expr that is initialized from a Type and a symbollic handle name
VarExpr returns an Expr that is initialized from a Type and a symbollic handle name
// VarExpr returns an Expr that is initialized from a Type and a symbollic handle name
func (s *Solver) VarExpr(name string, typ Type) Expr {
	res := C.vc_varExpr(s.handle, C.CString(name), C.Type(typ))
	s.vecs[name] = res
	return Expr(res)
}
func ( s * Solver ) VarExpr ( name string , typ Type ) Expr { res := C . vc_varExpr ( s . handle , C . CString ( name ) , C . Type ( typ ) ) s . vecs [ name ] = res return Expr ( res ) }
VarExpr returns an Expr that is initialized from a Type and a symbollic handle name
VarExpr returns an Expr that is initialized from a Type and a symbollic handle name