hetmet_csp,
hetmet_flatten,
pga_flatten,
+ pga_unflatten,
pga_flattened_id,
GuestIntegerLiteral, guestIntegerLiteral,
GuestStringLiteral, guestStringLiteral,
hetmet_flatten ::
forall g .
- GArrowSTKC g (,) () =>
+ GArrowSTKC g =>
forall x y.
<[ x -> y ]>@g
->
<[ x -> y ]>@g ->
PGArrow g x y
pga_flatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
+pga_unflatten ::
+ forall g x y.
+ PGArrow g x y ->
+ <[ x -> y ]>@g
+pga_unflatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
pga_flattened_id ::
forall g x y.