# Module `GraphNumbering.Make`

`Make(M)(G)` produces a numbering of the graph `G`, or more precisely, of the subset of the vertices of `G` that are reachable from the roots. The type of the vertices must be equipped with an implementation of imperative maps.

## Parameters

`module M : sig ... end`
`module G : sig ... end`

## Signature

`type t = G.t`

The type `t` of values of interest.

`val n : int`

`n` is the number of values of type `t` that have been encoded. The functions `encode` and `decode` represent an isomorphism between this subset of `t` and the interval `[0..n)`.

`val encode : t -> int`

`encode` maps a value of type `t` to an integer code in the interval `[0..n)`.

`val decode : int -> t`

`decode` maps an integer code in the interval `[0..n)` back to a value of type `t`.
{"ft_lang_label":"__label__en","ft_lang_prob":0.6981623,"math_prob":0.989361,"size":746,"snap":"2023-40-2023-50","text_gpt3_token_len":196,"char_repetition_ratio":0.14420485,"word_repetition_ratio":0.027972028,"special_character_ratio":0.269437,"punctuation_ratio":0.16949153,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9593389,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-09-25T02:42:00Z\",\"WARC-Record-ID\":\"<urn:uuid:37792a03-2334-437d-a688-fe9249f5fbcd>\",\"Content-Length\":\"4203\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:537596b0-188c-478f-a195-91abd3ea50b3>\",\"WARC-Concurrent-To\":\"<urn:uuid:b6626ac6-72d2-4095-a456-91f2a5adbf06>\",\"WARC-IP-Address\":\"128.93.101.33\",\"WARC-Target-URI\":\"http://cristal.inria.fr/~fpottier/fix/doc/fix/Fix/GraphNumbering/Make/index.html\",\"WARC-Payload-Digest\":\"sha1:7LZ2WF27JXPHLGCRRDNQREI2R237V7ZY\",\"WARC-Block-Digest\":\"sha1:XXCVFGO6CK4HLC3LFRJ6XWJTXANSMOO6\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233506676.95_warc_CC-MAIN-20230925015430-20230925045430-00738.warc.gz\"}"}