+++
title = "Type Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1d"]
forwardlinks = []
zettelid = "3d2b1e"
+++

Finally, this table consists of uninterpreted types that are used in the
formulas, which is probably not something that I will have to use, which
is good. This can therefore just be kept empty (although I don't really
know how to construct an empty table because they all need some kind of
default variable to be assigned to them).