Commit graph

2 commits

Author SHA1 Message Date
Jicheng Lu 57c5573b11 minor change in FunctionDefMongoElement 2023-10-15 23:21:40 -05:00
Jicheng Lu 28a5bbb929 decouple mongo element with domain element 2023-09-28 12:16:39 -05:00