setup.sty

\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{setup}[2025/04/25 v0.1]
\providecommand\phantomsection{}
\usepackage{mathtools}


\newcounter {theorem}
 \newtheorem {definition}  {Definition} [section]
 \newtheorem {property}    [definition] {Property}
 \newtheorem {theorem}     [definition] {Theorem}
 \newtheorem {remark}     [definition] {Remark}
 \newtheorem {proposition} [definition] {Proposition}
 \newtheorem {lemma}       [definition] {Lemma}
 \newtheorem {corollary}   [definition] {Corollary}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Colors
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{colortbl}

\definecolor{greenkey}{rgb}{0, 0.5, 0}
\definecolor{fireenginered}{rgb}{0.81, 0.09, 0.13}
\definecolor{chocolate(web)}{rgb}{0.82, 0.41, 0.12}
\definecolor{celestialblue}{rgb}{0.29, 0.59, 0.82}
\definecolor{code}{rgb}{0.96,0.96,.99}%{228,237,239}
\definecolor{snow}{RGB}{246, 248, 248}
\definecolor{cadmiumgreen}{rgb}{0.0, 0.42, 0.24}\DeclareMathAlphabet {\MyMathBb} {U} {bbold} {m} {n}

\definecolor{violet1}{RGB}{246,242,247}
\definecolor{violet2}{RGB}{226,226,242}

% possible colors for type annotations
\definecolor{darkgreen}{rgb}{0, 0.2, 0.13}
\definecolor{lessdarkgreen}{rgb}{0, 0.3, 0.13}
\definecolor{bordeaux}{rgb}{0.5, 0, 0.13}
\definecolor{typeBlue}{RGB}{51, 102, 255}
\definecolor{typeGreen}{RGB}{34, 139, 34}
\definecolor{typePurple}{RGB}{147, 112, 219}
\definecolor{typeOrange}{RGB}{255, 140, 0}
\definecolor{typeBrique}{RGB}{184,55,55}
\definecolor{typeGray}{RGB}{169,169,169}
\definecolor{typeAqua}{RGB}{42, 186, 233}
\newcommand{\negspace}{\hspace*{-1.75mm}}
\newcommand{\etc}{\raisebox{-3pt}{\scriptsize\smash{\vdots}}\vspace{4pt}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Comments
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\newcommand{\beppe}[1]{{\color{bordeaux}\textbf{[ Beppe: } #1\textbf{]}}}
	\newcommand{\aghilas}[1]{{\color{lessdarkgreen}\textbf{[ Aghilas: } #1\textbf{]}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MINTED FOR ELIXIR
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The following two commands are needed to generate 
% minted files for ArXiv submission. They must be used each
% in two consecutive compilations: the first generates the
% minted files and puts them in minted-cache, the second use them
% (the second one must be left uncommented in the ArXiv submission)
  %\usepackage[finalizecache=true,cachedir=minted-cache]{minted}
  %\usepackage[frozencache=true,cachedir=minted-cache]{minted}
% use the following line if you are not generating files for ArXiv
% submission
  \usepackage{minted}
%
  \usemintedstyle{vs}
	\renewcommand{\theFancyVerbLine}%
	{\sffamily
		\textcolor[rgb]{0.5,0.5,1.0}{\scriptsize
			\oldstylenums{\arabic{FancyVerbLine}}}
	}
	\setminted[elixir]{%
		frame=lines,
		bgcolor=snow,
		fontfamily=tt,
		fontsize=\small,
		firstnumber=last,
		linenos=true,
		numbersep=.5em,%
		xleftmargin=0em,%
		escapeinside=!!}
	\AtBeginEnvironment{minted}{\setlength{\parskip}{-3pt}}

	\newcommand{\elabel}[1]{\phantomsection\label{#1}}

	
	\newcommand {\elix}[1]{%\mintinline[bgcolor=snow]{elixir}{#1}}
%		\colorbox{snow}{%
%			\hspace*{-.25em}%
			\parbox[b][.45em][b]{%
				\widthof{\mintinline[escapeinside=!!,fontsize=\small,breaklines]{elixir}{#1}}}
			{\mintinline[escapeinside=!!,fontsize=\small,breaklines]{elixir}{#1}}%
%			\hspace*{-.25em}
%		}
	}

	\newcommand {\telix}[1]{%\mintinline[bgcolor=snow]{elixir}{#1}}
		\colorbox{snow}{%
			\hspace*{-.25em}\parbox[b][0.45em][b]{%
				\widthof{\mintinline[escapeinside=||,fontsize=\small,breaklines]{elixir}{#1}}}
			{\mintinline[escapeinside=||,fontsize=\small,breaklines]{elixir}{#1}}\hspace*{-.25em}}}

	\newcommand {\felix}[1]{%\mintinline[bgcolor=snow]{elixir}{#1}}
		\colorbox{snow}{%
			\hspace*{-.25em}\smash{\parbox[b][0.1em][b]{%
					\widthof{\mintinline[escapeinside=!!,fontsize=\scriptsize,breaklines]{elixir}{#1}}}
				{\mintinline[escapeinside=!!,fontsize=\scriptsize,breaklines]{elixir}{#1}}\hspace*{-.25em}}}}

	\newcommand{\tp}{\textcolor{cadmiumgreen}\$}
%%%%%%%%%%%%%%%%%%%%%%END MINTED



%%%%SOME SYMBOLS%%%%%%%%%%%%%%%%
\DeclareFontFamily{U}{mathb}{}
\DeclareFontShape{U}{mathb}{m}{n}{
  <-5.5> mathb5
  <5.5-6.5> mathb6
  <6.5-7.5> mathb7
  <7.5-8.5> mathb8
  <8.5-9.5> mathb9
  <9.5-11.5> mathb10
  <11.5-> mathb12
}{}
\DeclareSymbolFont{mathb}{U}{mathb}{m}{n}
\DeclareMathAlphabet {\MyMathBb} {U} {bbold} {m} {n}
\newcommand {\Types} {\mathcal{T}}
\newcommand {\Coretypes} {\mathcal{E}}
\newcommand {\Empty} {\ensuremath{\MyMathBb{0}}}
\newcommand {\Any} {\ensuremath{\MyMathBb{1}}}
\newcommand {\eqdef}  {\hbox{\;\;$=$\hspace*{-2.94mm}\raise5pt\hbox{\rm\scriptsize def}\hspace*{1mm}}}



\DeclareMathOperator{\kwdefmt}{\textsf{defmodtype}}
\DeclareMathOperator{\kwend}{\textsf{end}}
\DeclareMathOperator{\kwdo}{\textsf{do}}
\DeclareMathOperator{\kwbvr}{\textsf{\$behaviour}}
\DeclareMathOperator{\kwlet}{\textsf{let}}
\DeclareMathOperator{\kwin}{\textsf{in}}
\DeclareMathOperator{\kwprm}{\textsf{\$param}}
\DeclareMathOperator{\kwdefm}{\textsf{defmodule}}
\DeclareMathOperator{\kwopq}{\textsf{\$opaque}}
\DeclareMathOperator{\kwtp}{\textsf{\$type}}
\DeclareMathOperator{\kwpr}{\textsf{\$private}}
\DeclareMathOperator{\kwmdl}{\textsf{\$module}}
\DeclareMathOperator{\kwclbk}{\textsf{\$callback}}
\DeclareMathOperator{\kwfn}{\textsf{fn}}
\DeclareMathOperator{\kwlike}{\textsf{like}}
\DeclareMathOperator{\kwbeha}{\textsf{behaviour\!\_\!of}}
\DeclareMathOperator{\kwint}{\textsf{int}}
\DeclareMathOperator{\struct}{\textsf{struct}}
\DeclareMathOperator{\dom}{\textsf{dom}}
\newcommand{\Rule}[1]{\textsc{\small[#1]}}
\newcommand{\tx}{\text{\rm x}}
\newcommand{\ty}{\text{\rm y}}
\newcommand{\tz}{\text{\rm z}}
\newcommand{\BX}{\ensuremath{\mathcal{X}}}
\newcommand{\BY}{\ensuremath{\mathcal{Y}}}
\newcommand{\BH}[1]{\langle #1\rangle}
\newcommand{\self}{\texttt{\_\_MODULE\_\_}}
\newcommand{\atom}[1]{\ensuremath{\ulcorner#1\urcorner}}