Module kind_tree::telescope

source ·
Expand description

Telescope (Iterated sigma type representation)

Structs

  • Telescope
    A sequence of arguments that depends on the previous sequence it’s similar to a iterated sigma type.