Module ZZ3_sigs.S.Z3Array

module Z3Array: sig .. end

val get : [< ('d, 'r) ZZ3_sigs.S.zarray ] ZZ3_sigs.S.term ->
       'd ZZ3_sigs.S.term -> 'r ZZ3_sigs.S.term

val set : [< ('d, 'r) ZZ3_sigs.S.zarray ] ZZ3_sigs.S.term ->
       'd ZZ3_sigs.S.term ->
       'r ZZ3_sigs.S.term -> [> ('d, 'r) ZZ3_sigs.S.zarray ] ZZ3_sigs.S.term

val make : ('a -> 'b, ('d, 'r) ZZ3_sigs.S.zarray) ZZ3_sigs.S.typ ->
       'r ZZ3_sigs.S.term -> [> ('d, 'r) ZZ3_sigs.S.zarray ] ZZ3_sigs.S.term

val default : [< ('d, 'r) ZZ3_sigs.S.zarray ] ZZ3_sigs.S.term -> 'r ZZ3_sigs.S.term

val of_indexed : typ:('a, 'r) ZZ3_sigs.S.typ ->
       default:'r ZZ3_sigs.S.term ->
       'r ZZ3_sigs.S.term array ->
       ([> ZZ3_sigs.S.zint ], 'r) ZZ3_sigs.S.zarray ZZ3_sigs.S.term

val of_array : typ:('a -> 'b, ('d, 'r) ZZ3_sigs.S.zarray) ZZ3_sigs.S.typ ->
       default:'r ZZ3_sigs.S.term ->
       ('d ZZ3_sigs.S.term * 'r ZZ3_sigs.S.term) array ->
       ('d, 'r) ZZ3_sigs.S.zarray ZZ3_sigs.S.term

val of_list : typ:('a -> 'b, ('d, 'r) ZZ3_sigs.S.zarray) ZZ3_sigs.S.typ ->
       default:'r ZZ3_sigs.S.term ->
       ('d ZZ3_sigs.S.term * 'r ZZ3_sigs.S.term) list ->
       ('d, 'r) ZZ3_sigs.S.zarray ZZ3_sigs.S.term