open MathQL
val postgres: refine -> path ->
- (bool * path * value) list -> (bool * path * value) list ->
+ (bool * path * value) list -> (bool * path * value) list list ->
exp_list -> result
val galax: refine -> path ->
- (bool * path * value) list -> (bool * path * value) list ->
+ (bool * path * value) list -> (bool * path * value) list list ->
exp_list -> result