Store function instantiation information within annotations, so we don't

have to recompute it, which can be very expensive for very large
specifications

Also additional flow typing and fixes for boolean type variables

0 files changed, 0 insertions, 0 deletions