Skip to main content

🍃 Hex.v

Environment

See proofs, Gitlab , OCaml

Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.

Require Proto_alpha.Environment.Format.

Inductive t : Set :=
| Hex : string t.

Parameter of_char : ascii ascii × ascii.

Parameter to_char : ascii ascii option ascii.

Parameter of_string : option (list ascii) string t.

Parameter to_string : t option string.

Parameter of_bytes : option (list ascii) bytes t.

Parameter to_bytes : t option bytes.

Parameter hexdump_s : option bool option bool t string.

Parameter pp : Format.formatter t unit.

Parameter show : t string.