| Server IP : 46.62.235.243 / Your IP : 216.73.216.200 Web Server : Apache/2.4.58 (Ubuntu) System : Linux Linkabili3Dicembre 6.8.0-100-generic #100-Ubuntu SMP PREEMPT_DYNAMIC Tue Jan 13 16:40:06 UTC 2026 x86_64 User : www-data ( 33) PHP Version : 8.1.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
�
|�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&