sig
  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
end