module Sumprod: Generic_view_sumprod
type 'a
sp =
| |
Base : |
| |
Empty : |
| |
Sum : |
| |
Unit : |
| |
Prod : |
| |
Delay : |
| |
Con : |
| |
Field : |
| |
Iso : |
val sumprod : 'a Ty.T.ty -> 'a sp
val view : 'a Ty.T.ty -> 'a sp