diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:42:26 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:42:26 +0700 |
| commit | 482321db949bf5b5b6868a3fc8cbeaaa589578e2 (patch) | |
| tree | 40c2f82d6c22e3da56fb708a0174304fd3a37f1b /src/vytree.mli | |
| parent | cfff74d6774de069b3233c04771bfc26ee988bdd (diff) | |
| download | vyconf-482321db949bf5b5b6868a3fc8cbeaaa589578e2.tar.gz vyconf-482321db949bf5b5b6868a3fc8cbeaaa589578e2.zip | |
Add a trivial 'a option -> 'a -> 'a function for substituting something for a default.
Diffstat (limited to 'src/vytree.mli')
0 files changed, 0 insertions, 0 deletions