type symbol = | A| B| CR| CS| DB| DecimalSep| E| GroupingSep| L| Minus| N| Nine| One| P| Plus| S| Slant| Star| V| X| Z| Zero
type symbols = {symbol : symbol;symbol_occurences : int;
}type category = | Alphabetic of {length : int;
}| Alphanumeric of {length : int;insertions : simple_insertion list;
}| Boolean of {length : int;
}| National of {length : int;insertions : simple_insertion list;
}| FixedNum of {digits : int;scale : int;with_sign : bool;editions : editions;
}| FloatNum of {digits : int;scale : int;with_sign : bool;exponent_digits : int;editions : basic_edition list;
}
and simple_insertion = {simple_insertion_symbols : symbols;simple_insertion_offset : int;
}and special_insertion = {special_insertion_offset : int;
}and fixed_insertion = {fixed_insertion_symbol : symbol;fixed_insertion_offset : int;
}and floating_insertion = {floating_insertion_symbol : symbol;floating_insertion_ranges : floating_range list;
}and zero_replacement = {zero_replacement_symbol : symbol;zero_replacement_ranges : floating_range list;
}and floating_range = {floating_range_offset : int;floating_range_length : int;
}val pp_picture :
Ppx_deriving_runtime.Format.formatter ->
picture ->
Ppx_deriving_runtime.unitval show_picture : picture -> Ppx_deriving_runtime.stringtype error = | May_only_appear_once of {symbol_precedence : int;decimal_char : char;
}| May_not_follow of {symbol_precedence : int;prev_precedence : int;decimal_char : char;
}| Parenthesis_must_be_preceded_by_picture_symbol| Unexpected_char of char| Symbol_may_only_appear_once of symbol| Symbol_must_be_at_start of symbol| Symbol_must_be_at_end of symbol| Symbol_must_be_at_start_or_end of symbol| Symbols_are_mutually_exclusive of symbol * symbol| Unexpected_symbol of symbol * category option| Empty_picture_string| Picture_length_exceeds_limit of int * int| Missing_symbol_in_exponent| Missing_digits_in_exponent| Picture_describes_empty_data_item| Numeric_item_cannot_exceed_38_digits of int
module type ENV = sig ... end