build abstract method

Z3_ast build(
  1. Context c
)

Implementation

Z3_ast build(Context c);