package sarek

  1. Overview
  2. Docs

Module Sarek.SkeletonsSource

Sourceval f_to_kir : ('a, 'b, 'c) Kirc.kirc_kernel -> Kirc_Ast.k_ext array -> Kirc_Ast.k_ext
Sourceval map_skeleton : ('a, 'b, 'c) Kirc.kirc_kernel -> Kirc_Ast.k_ext
Sourceval zip_skeleton : ('a, 'b, 'c) Kirc.kirc_kernel -> Kirc_Ast.k_ext