module T: sig .. end
sig
end
type 'a spine =
'a
|
Con : 'a0 -> 'a0 spine
'a0
'a0 spine
App : ('a1 -> 'b) spine * 'a1 Ty.T.ty * 'a1 -> 'b spine
('a1 -> 'b) spine * 'a1 Ty.T.ty * 'a1
'b spine