build method

  1. @override
Z3_ast build(
  1. Context c
)
override

Implementation

@override
Z3_ast build(Context c) =>
    c._z3.mk_const_array(c._createSort(sort), c._createAST(value));