Quickly define model state predicates and scopes at the same time.
Joel Drapper
March 8, 2022 1:06pm
MIT