diff options
Diffstat (limited to 'src/utils.ml')
-rw-r--r-- | src/utils.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/utils.ml b/src/utils.ml index 833c972..59eac6c 100644 --- a/src/utils.ml +++ b/src/utils.ml | |||
@@ -29,3 +29,11 @@ let rot_right ls = List.(rev ls |> transpose) | |||
29 | let rot_left ls = List.(transpose ls |> rev) | 29 | let rot_left ls = List.(transpose ls |> rev) |
30 | 30 | ||
31 | let saturating_sub b a = if a < b then 0 else a - b | 31 | let saturating_sub b a = if a < b then 0 else a - b |
32 | |||
33 | let to_string c = String.make 1 c | ||
34 | |||
35 | let space = to_string ' ' | ||
36 | |||
37 | let axis = "┬" | ||
38 | |||
39 | let axis_spc = "─" | ||