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.ml | |
| parent | e6873458facadea0dfb228bb33291d6baf68c427 (diff) | |
| download | rdcapsis-f95748e82a354f2ac857359774ec3227705838af.tar.gz rdcapsis-f95748e82a354f2ac857359774ec3227705838af.zip | |
Prelude
Diffstat (limited to 'lib/iban.ml')
| -rw-r--r-- | lib/iban.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/iban.ml b/lib/iban.ml index 1db6c7b..fbea774 100644 --- a/lib/iban.ml +++ b/lib/iban.ml | |||
| @@ -1,11 +1,11 @@ | |||
| 1 | open Core | 1 | open Prelude |
| 2 | open Option.Let_syntax | 2 | open Option.Let_syntax |
| 3 | 3 | ||
| 4 | type t = string | 4 | type t = string |
| 5 | 5 | ||
| 6 | (* Modulo-97 arithmetic. Prevents us from having to use Zarith here. *) | 6 | (* Modulo-97 arithmetic. Prevents us from having to use Zarith here. *) |
| 7 | module M97 : sig | 7 | module M97 : sig |
| 8 | type t | 8 | type t = private int |
| 9 | 9 | ||
| 10 | val of_int : int -> t | 10 | val of_int : int -> t |
| 11 | val lt : t -> t -> bool | 11 | val lt : t -> t -> bool |