diff options
| author | Akshay <[email protected]> | 2021-08-10 16:53:58 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2021-08-10 16:53:58 +0100 |
| commit | 08e90070acd6b00ad970caf5c0a2f36c9ea07a5c (patch) | |
| tree | 5ee55319b58fb024643f1973dd11372ca7bc8474 /src/connector.ml | |
| parent | 0009c5b600ef1bba1a468ff85f41ee9f961b18b2 (diff) | |
add connector customization
Diffstat (limited to 'src/connector.ml')
| -rw-r--r-- | src/connector.ml | 6 |
1 files changed, 6 insertions, 0 deletions
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 @@ | |||
| 1 | type t = Squared | Rounded | ||
| 2 | |||
| 3 | let of_kind (k : t) = | ||
| 4 | match k with | ||
| 5 | | Squared -> ("└", "┐", "┘", "┌") | ||
| 6 | | Rounded -> ("╰", "╮", "╯", "╭") | ||