Basic

📁 Source: Batteries/Data/String/Basic.lean

Statistics

Metric	Count
Definitions count, toAsciiByteArray, loop, instCoeStringRaw_batteries	4
Theorems	0
Total	4

String

Definitions

Name	Category	Theorems
count 📖	CompOp	—
toAsciiByteArray 📖	CompOp	—

String.toAsciiByteArray

Definitions

Name	Category	Theorems
loop 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
instCoeStringRaw_batteries 📖	CompOp	—

---

← Back to Index