Searched defs:mkUnion (Results 1 – 9 of 9) sorted by relevance
555 mkUnion Empty _ = Empty function556 mkUnion p q = p `union_` q function
548 mkUnion Empty _ = Empty function549 mkUnion p q = p `union_` q function
1098 mkUnion = mappend function
1228 Node TheorySep::mkUnion( TypeNode tn, std::vector< Node >& locs ) { in mkUnion() function in CVC4::theory::sep::TheorySep
2234 public final <R extends Sort> ReExpr<R> mkUnion(Expr<ReSort<R>>... t) in mkUnion() method in Context
2194 public <R extends Sort> ReExpr<R> mkUnion(Expr<ReSort<R>>... t) in mkUnion() method in Context