Module Generic_view_spine.T

module T: sig .. end

type 'a spine =

`\|`	`Con : 'a0 -> 'a0 spine`
`\|`	`App : ('a1 -> 'b) spine * 'a1 Ty.T.ty * 'a1 -> 'b spine`