%PDF- %PDF-
Direktori : /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Current File : //usr/lib/python3/dist-packages/pygments/lexers/__pycache__/ml.cpython-312.pyc |
� |�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&