Server IP : 15.235.198.142 / Your IP : 216.73.216.190 Web Server : Apache/2.4.58 (Ubuntu) System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 8.3.6 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&