liquidhaskell-0.8.10.7: tests/todo/T1326C.hs

module T1326C where

import T1326B 

{-@ measure terminates :: Program l -> Bool @-}