KeY Logic Documentation

Defined symbols in the KeY System

Generated from version: heads/main on Fri Mar 06 10:31:19 UTC 2026

Overview

freeADT.key

Sorts

Free

Free;defined in: freeADT.key Line: 21 Offset :8

Functions

atom

\unique Free atom ; defined in: freeADT.key Line: 24 Offset :4