<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\usepackage{listings}
% \usepackage{stmaryrd}

\definecolor{ListingBar}{rgb}{0.8,0.8,0.8}

\lstdefinelanguage[Samer]{Caml}[Objective]{Caml}{%
  deletekeywords={with},
	literate={'a}{{$\alpha$}}1{'b}{{$\beta$}}1{'w}{{$\omega$}}1{'s}{{$\sigma$}}1
               {+}{{$+$}}1 {/}{{$/$}}1 
% 							 {\}}{]}1 {\{}{[}1
% 							 {\}\}}{\}}1 {\{\{}{\{}1
% 							 {\{\}}{[\,]}2
               {\ *\ }{{ $\times$ }}3
               {**}{{$\circ$}}1
               {=}{{$=$}}1 
               {&lt;&gt;}{{$\neq$}}1 
               {&gt;}{{$&gt;$}}1 
               {&lt;}{{$&lt;$}}1 
               {++}{{$+\!\!\!+$}}1 {::}{{$::$}}1
               % {\\\\}{{\char`\\\char`\\}}1
               {-&gt;}{{$\rightarrow$}}2
               {&gt;=}{{$\geq$}}2 
               {&lt;-}{{$\leftarrow$}}2
               {--&gt;}{{$\longrightarrow$}}3
               {&lt;=}{{$\leq$}}2 {=&gt;}{{$\Rightarrow$}}2
               {&lt;&lt;}{{$\ll$}}2 {&gt;&gt;}{{$\gg$}}2 {&gt;&gt;=}{{$\gg\!\!=$}}2
               {*&gt;}{{$*\!\!\!&gt;$}}2 {&lt;|&gt;}{{$&lt;\!\!\!|\!\!\!&gt;$}}3
               % {&lt;|&gt;}{{$\obar$}}2
               % {&lt;*&gt;}{{$\varoast$}}2 
               % {&lt;+&gt;}{{$\varoplus$}}2
               {&lt;*&gt;}{{$&lt;\!\!\!*\!\!\!&gt;$}}2 
               {&lt;+&gt;}{{$&lt;\!\!\!\!+\!\!\!\!&gt;$}}2
               % {|}{{$\mid$}}1
               {undef}{{$\bot$}}1
               {not\ }{{$\neg$}}1 {epsilon}{{$\epsilon$}}1
               % {`elem`}{{$\in$}}1
               % {forall}{{$\forall$}}1
  }

\lstnewenvironment{ocaml-framed}[1][]{\lstset{%
  language=[Samer]Caml,
  gobble=2,
  tabsize=2,
  keepspaces=true,
  frame=lines,
  columns=spaceflexible,
  aboveskip=0.5em,
  belowskip=0.5em,
  #1}} {}
\lstnewenvironment{ocaml}[1][]{\lstset{%
  language=[Samer]Caml,
  gobble=2,
  tabsize=2,
  keepspaces=true,
  columns=spaceflexible,
  aboveskip=0.5em,
  belowskip=0.5em,
  xleftmargin=1.5em
  #1}} {}
\lstnewenvironment{ocamlet} {\lstset{language=[Samer]Caml,
  gobble=2,
  tabsize=2,
  keepspaces=true,
  columns=spaceflexible,xleftmargin=2.0em}} {}
\lstnewenvironment{badocaml} {\lstset{
  gobble=2,
  tabsize=2,
  keepspaces=true,
	frame=leftline,
	framesep=0.9em,
	framerule=0.3em,
	xleftmargin=1.2em,
	columns=spaceflexible,
	rulecolor=\color{ListingBar},
	language=[Samer]Caml
	}} {}
\lstnewenvironment{ocaml-tt} {\lstset{language=[Samer]Caml,
  gobble=2,
  tabsize=2,
  keepspaces=true,
  basicstyle=\ttfamily\small,
	emphstyle=\mdseries,
	keywordstyle=\bfseries,
  identifierstyle=\upshape, 
	columns=spaceflexible,
	% framesep=0.5em,
	% xleftmargin=0.1em,
	% xleftmargin=1.2em,
	frame=single,
	aboveskip=0.75em,
	belowskip=0.75em}} {}

</pre></body></html>