Mavryk_scoru_wasm.Init_encodings
val init_kont_encoding : Mavryk_webassembly_interpreter.Eval.init_kont Mavryk_tree_encoding.t
init_kont_encoding tree-encoder for init_kont values.
init_kont_encoding
init_kont