diff options
| author | Jack Koenig | 2023-03-20 17:28:59 -0700 |
|---|---|---|
| committer | GitHub | 2023-03-20 17:28:59 -0700 |
| commit | 57b8a395ee8d5fdabb2deed3db7d0c644f0a7eed (patch) | |
| tree | 85020fee61ef2a61a9e93326f3d6cbcefb34d3ee /.install_z3.sh | |
| parent | d5dbf71310f9534a108c59e605da1f215b86393b (diff) | |
Directly subclassing Iterable is lazy-ish, but if you call any operation
on the resulting value (eg. map or ++) it will evaluate the Iterable and
return a List.
Diffstat (limited to '.install_z3.sh')
0 files changed, 0 insertions, 0 deletions