summaryrefslogtreecommitdiff
path: root/src/utils.ml
diff options
context:
space:
mode:
authorAkshay <[email protected]>2021-08-08 14:13:00 +0100
committerAkshay <[email protected]>2021-08-08 14:13:00 +0100
commitd30f3dbd9d2f5ad1184f3d61cb1630f3447bd88c (patch)
tree454c160a23dca3ff40d99f77c09bdf1655511db2 /src/utils.ml
parent91ff16438c5ddc56dd96ba8e6baa798266429b52 (diff)
move utils to utils :p
Diffstat (limited to 'src/utils.ml')
-rw-r--r--src/utils.ml8
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)
29let rot_left ls = List.(transpose ls |> rev) 29let rot_left ls = List.(transpose ls |> rev)
30 30
31let saturating_sub b a = if a < b then 0 else a - b 31let saturating_sub b a = if a < b then 0 else a - b
32
33let to_string c = String.make 1 c
34
35let space = to_string ' '
36
37let axis = "┬"
38
39let axis_spc = "─"