Kont_encodings (mavkit-l2-libs.Mavryk_scoru_wasm.Kont

val fold_right2_kont_encoding : 
  'a Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'b Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'c Mavryk_tree_encoding.t ->
  ('d, 'e, 'f) Mavryk_webassembly_interpreter.Eval.fold_right2_kont
    Mavryk_tree_encoding.t

val map_kont_encoding : 
  'a Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'b Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  ('a, 'c) Mavryk_webassembly_interpreter.Eval.map_kont Mavryk_tree_encoding.t

val tick_map_kont_encoding : 
  'a Mavryk_tree_encoding.t ->
  'b Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'c Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  ('d, 'e, 'f) Mavryk_webassembly_interpreter.Eval.tick_map_kont
    Mavryk_tree_encoding.t

val concat_kont_encoding : 
  'a Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'a Mavryk_webassembly_interpreter.Eval.concat_kont Mavryk_tree_encoding.t

val fold_left_kont_encoding : 
  'a Mavryk_webassembly_interpreter.Instance.Vector.t Mavryk_tree_encoding.t ->
  'b Mavryk_tree_encoding.t ->
  ('a, 'c) Mavryk_webassembly_interpreter.Eval.fold_left_kont
    Mavryk_tree_encoding.t