diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-22 22:46:41 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-22 22:46:41 -0300 |
| commit | 29e00769046cbc8cd020b2b7c47448d89f21ab39 (patch) | |
| tree | df6601daa94f7d588708ceca5a34fa02b75d791b /lib/sublanguage.ml | |
| parent | fdc63e730f91a4605ed4ff96a908e1f5e822d1bb (diff) | |
| download | Sakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.tar.gz Sakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.zip | |
Prototype for configuration
Diffstat (limited to 'lib/sublanguage.ml')
| -rw-r--r-- | lib/sublanguage.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index 4cfe913..86d8cb4 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -26,6 +26,8 @@ type result = | Cursor of cursor_result module type S = sig + include Configuration.CONFIGURABLE + type storage type ast type error |