diff options
| author | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-20 19:00:54 +0000 |
|---|---|---|
| committer | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-20 19:00:54 +0000 |
| commit | e53b47c44606d7c97ae71dd6cc15bbde203e426c (patch) | |
| tree | 06aeb3ccf0ff6e35f4d868b2bd48881b95d52a4c /lib/kDL_lens_result.ml | |
| parent | 6c55091c079bf60dea8327d293802d04e7b57691 (diff) | |
| download | nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar.gz nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar.bz2 nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar.lz nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar.xz nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.tar.zst nixtaml-e53b47c44606d7c97ae71dd6cc15bbde203e426c.zip | |
Tabs in comments
Diffstat (limited to 'lib/kDL_lens_result.ml')
| -rw-r--r-- | lib/kDL_lens_result.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kDL_lens_result.ml b/lib/kDL_lens_result.ml index 4e29ad1..9792c41 100644 --- a/lib/kDL_lens_result.ml +++ b/lib/kDL_lens_result.ml @@ -84,7 +84,7 @@ let set_exn a v lens = | Error e -> failwith (show_lerr e) (* note: update can possibly be added to the definition of [lens] to increase - performance with more specialized implementations *) + performance with more specialized implementations *) let update f a lens = match lens.get a with |