| 1 | /* ---------------------------------------------------------------------------- |
| 2 | Copyright (c) 2020, Microsoft Research, Daan Leijen |
| 3 | This is free software; you can redistribute it and/or modify it under the |
| 4 | terms of the MIT license. A copy of the license can be found in the file |
nothing calls this directly
no test coverage detected