para_data.bend checks
raw source on the hub · import 0x165c100ad73c506a5905a4a8273884a3/para_data.bend as Para_data
AUTO-GENERATED from para-data.json — paragraph start verses per chapter
1 import
import Base
Types
type ParaRow source · line 4 · raw
Data
ParaRow@key:String -> @starts:String -> ParaRow
type PrPh source · line 10 · raw
Data
PrScanPrPh
PrPut@k:String -> @s:String -> PrPh
Definitions
def para_rows source · line 7 · raw
List<&1, ParaRow>
def para_map_go source · line 14 · raw
@fuel:Nat -> @ph:PrPh -> @xs:List<&1, ParaRow> -> @acc:Map<&2, String> -> Map<&2, String>
def para_map source · line 29 · raw
Map<&2, String>