OAI/Combinatorics/EditApproximation/Coarse/CoarseIndexedRead.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EditApproximation.coarsePaddedRead line 9

   Source documentation

   Padding and framing are index calculations over the original stored input. These views do not allocate a padded string.

   def coarsePaddedRead {α : Type*} (n : ℕ) (word : List α) (i : ℕ) : Option (Option α) :=
   …

2. def OAI.EditApproximation.coarseFramedRead line 12
3. theorem OAI.EditApproximation.coarsePaddedRead_value line 15
4. theorem OAI.EditApproximation.coarseFramedRead_value line 28