1
\documentclass{article}
8
\renewcommand{\Varid}[1]{\mathsf{#1}}% or rm for serif
9
\renewcommand{\Conid}[1]{\mathsf{#1}}% or rm for serif
10
\newcommand{\Val}{\mathbf{Val}}
11
\newcommand{\Set}{\mathbf{Set}}
12
\newcommand{\Fun}{\mathbf{Fun}}
13
\newcommand{\App}{\mathbf{App}}
14
\newcommand{\Hh}{\mathbf{H}}
b'\\ No newline at end of file'