�
|�e� � �� � 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� Zy)z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2023 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& |