diff options
| author | Rutger Broekhoff | 2025-08-26 11:16:29 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2025-08-26 11:16:29 +0200 |
| commit | f95748e82a354f2ac857359774ec3227705838af (patch) | |
| tree | e9d8eaf5d8b1cdb3950fdd2929ec5d97e541bf03 /lib/iban.mli | |
| parent | e6873458facadea0dfb228bb33291d6baf68c427 (diff) | |
| download | rdcapsis-f95748e82a354f2ac857359774ec3227705838af.tar.gz rdcapsis-f95748e82a354f2ac857359774ec3227705838af.zip | |
Prelude
Diffstat (limited to 'lib/iban.mli')
| -rw-r--r-- | lib/iban.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/iban.mli b/lib/iban.mli index c2cad9f..fa18a63 100644 --- a/lib/iban.mli +++ b/lib/iban.mli | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | open Core | 1 | open Prelude |
| 2 | 2 | ||
| 3 | type t | 3 | type t |
| 4 | 4 | ||