OAI/MathematicalPhysics/ContinuumCoulomb/Programs/PrefixPrograms.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Literal prefixCode parsing for the source serialization. A parser emits the first encoded field and its untouched following bit string.

  1. def OAI.ContinuumCoulomb.PrefixPrograms.prefixCode line 14
  2. abbrev OAI.ContinuumCoulomb.PrefixPrograms.Splitter line 17
  3. def OAI.ContinuumCoulomb.PrefixPrograms.natural line 20
  4. def OAI.ContinuumCoulomb.PrefixPrograms.integerPayload line 29
  5. def OAI.ContinuumCoulomb.PrefixPrograms.integerSign line 37
  6. def OAI.ContinuumCoulomb.PrefixPrograms.integerValue line 43
  7. def OAI.ContinuumCoulomb.PrefixPrograms.integer line 55
  8. def OAI.ContinuumCoulomb.PrefixPrograms.pairHeader line 63
  9. def OAI.ContinuumCoulomb.PrefixPrograms.pairFirst line 69
  10. def OAI.ContinuumCoulomb.PrefixPrograms.pairRest line 72
  11. def OAI.ContinuumCoulomb.PrefixPrograms.pairSecond line 76
  12. def OAI.ContinuumCoulomb.PrefixPrograms.pairTail line 79
  13. def OAI.ContinuumCoulomb.PrefixPrograms.pairValue line 82
  14. def OAI.ContinuumCoulomb.PrefixPrograms.pair line 87
  15. def OAI.ContinuumCoulomb.PrefixPrograms.rational line 92