@@ -247,7 +247,10 @@ foreign import ccall unsafe "Z3_mk_bv_sort"
247
247
248
248
-- | Reference: <http://z3prover.github.io/api/html/group__capi.html#gafe617994cce1b516f46128e448c84445>
249
249
foreign import ccall unsafe " Z3_mk_array_sort"
250
- z3_mk_array_sort :: Ptr Z3_context -> Ptr Z3_sort -> Ptr Z3_sort -> IO (Ptr Z3_sort )
250
+ z3_mk_array_sort :: Ptr Z3_context
251
+ -> Ptr Z3_sort -- ^ domain
252
+ -> Ptr Z3_sort -- ^ range
253
+ -> IO (Ptr Z3_sort )
251
254
252
255
-- | Reference: <http://z3prover.github.io/api/html/group__capi.html#ga7156b9c0a76a28fae46c81f8e3cdf0f1>
253
256
foreign import ccall unsafe " Z3_mk_tuple_sort"
@@ -654,11 +657,18 @@ foreign import ccall unsafe "Z3_mk_bvmul_no_underflow"
654
657
655
658
-- | Reference: <http://z3prover.github.io/api/html/group__capi.html#ga38f423f3683379e7f597a7fe59eccb67>
656
659
foreign import ccall unsafe " Z3_mk_select"
657
- z3_mk_select :: Ptr Z3_context -> Ptr Z3_ast -> Ptr Z3_ast -> IO (Ptr Z3_ast )
660
+ z3_mk_select :: Ptr Z3_context
661
+ -> Ptr Z3_ast -- ^ aray
662
+ -> Ptr Z3_ast -- ^ index
663
+ -> IO (Ptr Z3_ast )
658
664
659
665
-- | Reference: <http://z3prover.github.io/api/html/group__capi.html#gae305a4f54b4a64f7e5973ae6ccb13593>
660
666
foreign import ccall unsafe " Z3_mk_store"
661
- z3_mk_store :: Ptr Z3_context -> Ptr Z3_ast -> Ptr Z3_ast -> Ptr Z3_ast -> IO (Ptr Z3_ast )
667
+ z3_mk_store :: Ptr Z3_context
668
+ -> Ptr Z3_ast -- ^ array
669
+ -> Ptr Z3_ast -- ^ index
670
+ -> Ptr Z3_ast -- ^ value to store at array[index]
671
+ -> IO (Ptr Z3_ast )
662
672
663
673
-- | Reference: <http://z3prover.github.io/api/html/group__capi.html#ga84ea6f0c32b99c70033feaa8f00e8f2d>
664
674
foreign import ccall unsafe " Z3_mk_const_array"
0 commit comments