2021-11-11 10:09:23 -08:00
|
|
|
val unicodedata_source : string
|
2021-11-11 11:45:47 -08:00
|
|
|
|
|
|
|
|
type t =
|
|
|
|
|
{code_value : string;
|
|
|
|
|
character_name : string;
|
|
|
|
|
general_category : string;
|
|
|
|
|
canonical_combining_classes : string;
|
|
|
|
|
bidirectional_category : string;
|
|
|
|
|
character_decomposition_mapping : string;
|
|
|
|
|
decimal_digit_value : string;
|
|
|
|
|
digit_value : string;
|
|
|
|
|
numeric_value : string;
|
|
|
|
|
mirrored : string;
|
|
|
|
|
unicode_10_name : string;
|
|
|
|
|
iso_10646_comment_field : string;
|
|
|
|
|
uppercase_mapping : string;
|
|
|
|
|
lowercase_mapping : string;
|
|
|
|
|
titlecase_mapping : string}
|
|
|
|
|
|
|
|
|
|
val unicodedata : unit -> t list
|
