books_maps.bend checks
raw source on the hub · import 0x9ae568b385f74ccab3450a43a203c1d1/books_maps.bend as Books_maps
AUTO-GENERATED maps from books_data — do not edit by hand
2 imports
import Base import ./books_data.bend as D
Types
type VsPh source · line 14 · raw
Data
VsScanVsPh
VsPut@k:String -> @n:U32 -> VsPh
Definitions
def alias_map source · line 5 · raw
Map<&2, String>
def chapter_map source · line 8 · raw
Map<&2, U32>
def name_map source · line 11 · raw
Map<&2, String>
def verse_map_go source · line 18 · raw
@fuel:Nat -> @ph:VsPh -> @xs:List<&1, 0x9ae568b385f74ccab3450a43a203c1d1/books_data.Cap> -> @acc:Map<&2, U32> -> Map<&2, U32>
def verse_map source · line 33 · raw
Map<&2, U32>
def fuzzy_alias_table source · line 37 · raw
List<&1, 0x9ae568b385f74ccab3450a43a203c1d1/books_data.Alias>
Fuzzy-eligible aliases (105)