VAL (cobol_data.Cobol_data.Literal.VAL)

module NEL = Cobol_common.Basics.NEL

type error =

| Invalid_chars of (int * char) NEL.t

val invalid_chars : 
  (string * int * (char -> bool)) list ->
  ('a, error) Stdlib.result

val non_digit : char -> bool

val non_bool_bit : base:[> `Hex ] -> char -> bool

val of_hex : string -> string

Assumes a leading zero in case of odd length.

val plain_alphanum : string -> string

val alphanum_of_string : 
  ?hexadecimal:bool ->
  string ->
  (string, error) Stdlib.result

val alphanum : Cobol_ptree.alphanum -> (string, error) Stdlib.result

val concat_alphanums : string -> string -> string

val compare_alphanums : Stdlib.String.t -> Stdlib.String.t -> int

val ptree_of_alphanum : string -> Cobol_ptree.alphanum

val integer_zero : Z.t

val integer_of_string : string -> (Z.t, error) Stdlib.result

val integer : Cobol_ptree.integer -> (Z.t, error) Stdlib.result

val string_of_integer : Z.t -> string

val fixed_zero : Q.t

val fixed_of_string : string -> Q.t

val fixed_of_strings : 
  integral:string ->
  fractional:string ->
  (Q.t, error) Stdlib.result

val fixed : Cobol_ptree.fixed -> (Q.t, error) Stdlib.result

val string_of_fixed : Q.t -> string

val ptree_of_fixed : ?max_fractional_size:int -> Q.t -> Cobol_ptree.fixed

val categorize_fixed : Q.t -> [ `Q of Q.t | `Z of Z.t ]

val floating_zero : Cobol_data__.Data_types.floating_value

val floating_of_strings : 
  integral:string ->
  fractional:string ->
  exponent:string ->
  (Cobol_data__.Data_types.floating_value, error) Stdlib.result

val floating : 
  Cobol_ptree.floating ->
  (Cobol_data__.Data_types.floating_value, error) Stdlib.result

val ptree_of_floating : 
  Cobol_data__.Data_types.floating_value ->
  Cobol_ptree.floating

val boolean_zero : Cobol_data__.Data_types.boolean_value

val boolean_of_string : 
  ?base:[ `Bool | `Hex ] ->
  string ->
  (Cobol_data__.Data_types.boolean_value, error) Stdlib.result

val boolean : 
  Cobol_ptree.boolean ->
  (Cobol_data__.Data_types.boolean_value, error) Stdlib.result

val string_of_boolean : Cobol_data__.Data_types.boolean_value -> string

val ptree_of_boolean : 
  Cobol_data__.Data_types.boolean_value ->
  Cobol_ptree.boolean