build method

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

Implementation

@override
Z3_ast build(Context c) {
  final a = c._createAST(arg);
  return c._z3.mk_extract(high, low, a);
}