KeY Logic Documentation

Defined symbols in the KeY System

Generated from version: heads/main on Fri Jun 05 00:10:27 UTC 2026

Overview

stringDef.key

Sorts

java.lang.String

java.lang.String \extends java.lang.Object ;defined in: stringDef.key Line: 2 Offset :1

Functions

strContent

Seq strContent (java.lang.String ); defined in: stringDef.key Line: 6 Offset :2

strPool

java.lang.String strPool (Seq ); defined in: stringDef.key Line: 7 Offset :2