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