Module Generic_view.Sumprod

module Sumprod: Generic_view_sumprod

type 'a sp = 
| Base : 'a0 Ty.T.ty -> 'a0 sp
| Empty : Sum.empty sp
| Sum : 'a1 sp * 'b sp -> ('a1, 'b) Sum.sum sp
| Unit : unit sp
| Prod : 'a2 sp * 'b0 sp -> ('a2 * 'b0) sp
| Delay : 'a3 Ty.T.ty -> 'a3 sp
| Con : string * 'a4 sp -> 'a4 sp
| Field : string * 'a5 sp -> 'a5 sp
| Iso : 'a6 sp * ('a6, 'b1) Fun.iso -> 'b1 sp
val sumprod : 'a Ty.T.ty -> 'a sp
val view : 'a Ty.T.ty -> 'a sp
view = sumprod