..

0	;; SPDX-FileCopyrightText 2023–2024 toastal <toastal@posteo.net>
1	;; SPDX-License-Identifier: LGPL-2.1-or-later
2	; extends
3
4	(["fun" "function"] @keyword.function (#set! conceal "λ"))
5	("rec" @type.qualifier (#set! conceal "∇"))
6	("->" @punctuation.delimeter (#set! conceal "→"))
7	("<-" @punctuation.delimeter (#set! conceal "←"))
8	(";;" @punctuation.delimeter (#set! conceal "◊"))
9	("::" @operator (#set! conceal "∷"))
10	(let_binding ("=" @operator.assignment (#set! conceal "≔")))
11	(let_binding (":=" @operator.assignment (#set! conceal "⩴")))
12	(array_expression ("[|" @punctuation.bracket.ocaml . _) (#set! conceal "⟦"))
13	(array_expression ("|]" @punctuation.bracket.ocaml .) (#set! conceal "⟧"))
14
15
16	(constructor_declaration ("*" @operator (#set! conceal "×")))
17	(tuple_type ("*" @operator (#set! conceal "×")))
18
19	(((rel_operator) @operator (#eq? @operator "<>")) (#set! conceal "≠"))
20	(((rel_operator) @operator (#eq? @operator "==")) (#set! conceal "≡"))
21	(((rel_operator) @operator (#eq? @operator "!=")) (#set! conceal "≢"))
22	(((rel_operator) @operator (#eq? @operator "<=")) (#set! conceal "≤"))
23	(((rel_operator) @operator (#eq? @operator ">=")) (#set! conceal "≥"))
24	((and_operator) @operator (#set! conceal "∧"))
25	((or_operator) @operator (#set! conceal "∨"))
26
27	((sign_operator) @number (#eq? @number "-") (#set! conceal "⁻"))
28
29	(((value_name) @function.call (#eq? @function.call "not")) (#set! conceal "¬"))
30	(((value_name) @function.call (#eq? @function.call "sqrt")) (#set! conceal "√"))
31
32	(((type_constructor) @type.builtin (#eq? @type.builtin "int")) (#set! conceal "ℤ"))
33	(((type_constructor) @type.builtin (#eq? @type.builtin "bool")) (#set! conceal "𝔹"))
34
35	(((type_variable) @variable (#eq? @variable "'alpha")) (#set! conceal "ά"))
36	(((type_variable) @variable (#eq? @variable "'beta")) (#set! conceal "β́"))
37	(((type_variable) @variable (#eq? @variable "'gamma")) (#set! conceal "γ́"))
38	(((type_variable) @variable (#eq? @variable "'delta")) (#set! conceal "δ́"))
39	(((type_variable) @variable (#eq? @variable "'epsilon")) (#set! conceal "έ"))
40	(((type_variable) @variable (#eq? @variable "'zeta")) (#set! conceal "ζ́"))
41	(((type_variable) @variable (#eq? @variable "'eta")) (#set! conceal "ή"))
42	(((type_variable) @variable (#eq? @variable "'theta")) (#set! conceal "θ́"))
43	(((type_variable) @variable (#eq? @variable "'iota")) (#set! conceal "ί"))
44	(((type_variable) @variable (#eq? @variable "'kappa")) (#set! conceal "κ́"))
45	(((type_variable) @variable (#eq? @variable "'lambda")) (#set! conceal "λ́"))
46	(((type_variable) @variable (#eq? @variable "'mu")) (#set! conceal "μ́"))
47	(((type_variable) @variable (#eq? @variable "'nu")) (#set! conceal "ν́"))
48	(((type_variable) @variable (#eq? @variable "'xi")) (#set! conceal "ξ́"))
49	(((type_variable) @variable (#eq? @variable "'omicron")) (#set! conceal "ό"))
50	(((type_variable) @variable (#eq? @variable "'pi")) (#set! conceal "π́"))
51	(((type_variable) @variable (#eq? @variable "'rho")) (#set! conceal "ρ́"))
52	(((type_variable) @variable (#eq? @variable "'sigma")) (#set! conceal "σ́"))
53	(((type_variable) @variable (#eq? @variable "'tau")) (#set! conceal "τ́"))
54	(((type_variable) @variable (#eq? @variable "'upsilon")) (#set! conceal "ύ"))
55	(((type_variable) @variable (#eq? @variable "'phi")) (#set! conceal "φ́"))
56	(((type_variable) @variable (#eq? @variable "'chi")) (#set! conceal "χ́"))
57	(((type_variable) @variable (#eq? @variable "'psi")) (#set! conceal "ψ́"))
58	(((type_variable) @variable (#eq? @variable "'omega")) (#set! conceal "ώ"))
59
60	(((value_name) @variable (#eq? @variable "alpha")) (#set! conceal "α"))
61	(((value_name) @variable (#eq? @variable "beta")) (#set! conceal "β"))
62	(((value_name) @variable (#eq? @variable "gamma")) (#set! conceal "γ"))
63	(((value_name) @variable (#eq? @variable "delta")) (#set! conceal "δ"))
64	(((value_name) @variable (#eq? @variable "epsilon")) (#set! conceal "ε"))
65	(((value_name) @variable (#eq? @variable "zeta")) (#set! conceal "ζ"))
66	(((value_name) @variable (#eq? @variable "eta")) (#set! conceal "η"))
67	(((value_name) @variable (#eq? @variable "theta")) (#set! conceal "θ"))
68	(((value_name) @variable (#eq? @variable "iota")) (#set! conceal "ι"))
69	(((value_name) @variable (#eq? @variable "kappa")) (#set! conceal "κ"))
70	(((value_name) @variable (#eq? @variable "lambda")) (#set! conceal "λ"))
71	(((value_name) @variable (#eq? @variable "mu")) (#set! conceal "μ"))
72	(((value_name) @variable (#eq? @variable "nu")) (#set! conceal "ν"))
73	(((value_name) @variable (#eq? @variable "xi")) (#set! conceal "ξ"))
74	(((value_name) @variable (#eq? @variable "omicron")) (#set! conceal "ο"))
75	(((value_name) @variable (#eq? @variable "pi")) (#set! conceal "π"))
76	(((value_name) @variable (#eq? @variable "rho")) (#set! conceal "ρ"))
77	(((value_name) @variable (#eq? @variable "sigma")) (#set! conceal "σ"))
78	(((value_name) @variable (#eq? @variable "tau")) (#set! conceal "τ"))
79	(((value_name) @variable (#eq? @variable "upsilon")) (#set! conceal "υ"))
80	(((value_name) @variable (#eq? @variable "phi")) (#set! conceal "φ"))
81	(((value_name) @variable (#eq? @variable "chi")) (#set! conceal "χ"))
82	(((value_name) @variable (#eq? @variable "psi")) (#set! conceal "ψ"))
83	(((value_name) @variable (#eq? @variable "omega")) (#set! conceal "ω"))
84
85	(((constructor_name) @constructor (#eq? @constructor "Alpha")) (#set! conceal "Α"))
86	(((constructor_name) @constructor (#eq? @constructor "Beta")) (#set! conceal "Β"))
87	(((constructor_name) @constructor (#eq? @constructor "Gamma")) (#set! conceal "Γ"))
88	(((constructor_name) @constructor (#eq? @constructor "Delta")) (#set! conceal "Δ"))
89	(((constructor_name) @constructor (#eq? @constructor "Epsilon")) (#set! conceal "Ε"))
90	(((constructor_name) @constructor (#eq? @constructor "Zeta")) (#set! conceal "Ζ"))
91	(((constructor_name) @constructor (#eq? @constructor "Eta")) (#set! conceal "Η"))
92	(((constructor_name) @constructor (#eq? @constructor "Theta")) (#set! conceal "Θ"))
93	(((constructor_name) @constructor (#eq? @constructor "Iota")) (#set! conceal "Ι"))
94	(((constructor_name) @constructor (#eq? @constructor "Kappa")) (#set! conceal "Κ"))
95	(((constructor_name) @constructor (#eq? @constructor "Lambda")) (#set! conceal "Λ"))
96	(((constructor_name) @constructor (#eq? @constructor "Mu")) (#set! conceal "Μ"))
97	(((constructor_name) @constructor (#eq? @constructor "Nu")) (#set! conceal "Ν"))
98	(((constructor_name) @constructor (#eq? @constructor "Xi")) (#set! conceal "Ξ"))
99	(((constructor_name) @constructor (#eq? @constructor "Omicron")) (#set! conceal "Ο"))
100	(((constructor_name) @constructor (#eq? @constructor "Pi")) (#set! conceal "Π"))
101	(((constructor_name) @constructor (#eq? @constructor "Rho")) (#set! conceal "Ρ"))
102	(((constructor_name) @constructor (#eq? @constructor "Sigma")) (#set! conceal "Σ"))
103	(((constructor_name) @constructor (#eq? @constructor "Tau")) (#set! conceal "Τ"))
104	(((constructor_name) @constructor (#eq? @constructor "Upsilon")) (#set! conceal "Υ"))
105	(((constructor_name) @constructor (#eq? @constructor "Phi")) (#set! conceal "Φ"))
106	(((constructor_name) @constructor (#eq? @constructor "Chi")) (#set! conceal "Χ"))
107	(((constructor_name) @constructor (#eq? @constructor "Psi")) (#set! conceal "Ψ"))
108	(((constructor_name) @constructor (#eq? @constructor "Omega")) (#set! conceal "Ω"))