Documentation

keyword_map :: Map String Int

key_keyword_map :: Map Char [String]

structid_map :: Map String Int

key_structid_map :: Map Char [String]

annotationbf_map :: Map String Int

key_annotationbf_map :: Map Char [String]

normal_map :: Map String Int

key_normal_map :: Map Char [String]

comment_map :: Map String Int

key_comment_map :: Map Char [String]

axiom_map :: Map String Int

key_axiom_map :: Map Char [String]

annotation_map :: Map String Int

key_annotation_map :: Map Char [String]

ligatures :: Map String Bool

italiccorrection_map :: Map String Int