minigent/examples/6_recursive/05-strictly-positive-allowed/in.minigent

id : rec t { l : < End Unit | Rest { a : U8, b : t } > } -> rec t { l : < End Unit | Rest { a : U8, b : t } > };
id a = a;