From 08e90070acd6b00ad970caf5c0a2f36c9ea07a5c Mon Sep 17 00:00:00 2001 From: Akshay Date: Tue, 10 Aug 2021 21:23:58 +0530 Subject: add connector customization --- src/connector.ml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 src/connector.ml (limited to 'src/connector.ml') diff --git a/src/connector.ml b/src/connector.ml new file mode 100644 index 0000000..d00d036 --- /dev/null +++ b/src/connector.ml @@ -0,0 +1,6 @@ +type t = Squared | Rounded + +let of_kind (k : t) = + match k with + | Squared -> ("└", "┐", "┘", "┌") + | Rounded -> ("╰", "╮", "╯", "╭") -- cgit v1.2.3