diff options
author | Eduardo Julian | 2019-12-28 22:27:09 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-12-28 22:27:09 -0400 |
commit | 84ea12c2960cc7460de81087a6e53bcc6d37a3d6 (patch) | |
tree | 2a2b93dad3b4cb44aa641a0197211afb694ff7fc /stdlib/source/test | |
parent | ecb53b05a226d8d3d8e612f949cb3ad6ac0600ce (diff) |
Optimized pattern-matching against variants.
Diffstat (limited to 'stdlib/source/test')
0 files changed, 0 insertions, 0 deletions