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

This table consists of various uninterpreted functions that are used
within the theories, together with their types.