File: //lib/python3/dist-packages/pygments/lexers/__pycache__/ml.cpython-311.pyc
�
�E�c�� � �� � d Z ddlZddlmZmZmZmZmZ ddlm Z m
Z
mZmZm
Z
mZmZmZmZ g d�Z G d� de� � Z G d� d e� � Z G d
� de� � Z G d� d
e� � Z G d� de� � ZdS )z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�
RegexLexer�include�bygroups�default�words) �Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�Error)�SMLLexer�
OcamlLexer�OpaLexer�ReasonLexer�
FStarLexerc �
� e Zd ZdZdZdgZg d�ZddgZh d�Zh d�Z h d �Z
d
ZdZd� Z
d
� Zd� Zd� Zi ddefdej dfg�ddedfdedfdej dfdej dfdej dfg�ddd� d � e
D � � � � z efd!ej d"fd#ej d$fd%ej fd&ej fd'ej fd(ej fd)ej fd*ej fd+ej fd,ej fd-ez ej fd.ez ej fd/ej d0fd1ej d2fd3ej d4fd5ej d6fd7ej! fd8ez ed9fdez efdez efg�d9d8ez efdez edfdez edfde"fd:e"fg�d; e#d� � g�d e$d� � d<ej d=fd>ej d?f e$d� � e$d� � d:e"fg�d@ e$d� � dAefdej dfdBej dCfdDej dEfdFedCfdGej dHf e$d� � e$d� � d:e"fg
�d" e
ej � � �d$ e
ej � � �dIdJd� e� � z edfg�d4 e$d� � e$dI� � dez ej% f e#d� � g�dC e$d� � d7ej! fdKedLfdez ej&