KeY Logic Documentation

Defined symbols in the KeY System

Generated from version: heads/main on Fri Aug 21 01:50:47 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