minigent/examples/6_recursive/11-incompatible-recpars/expected.out

deallocList : rec t {l : <Cons {data : U64,rest : rec t}#|Nil Unit>} -> Unit;
genTree : Unit
          -> rec t {f : <Leaf Unit
                        |Node {data : U64,left : rec t,right : rec t}#>};
incompatible : rec t {l : <Cons {data : U64,rest : rec t}#|Nil Unit>}
               -> rec t {l : <Cons {data : U64,rest : rec t}#|Nil Unit>};