module { export = [main], features = [chr] }
import "Prelude"

ruleset A where
    constraint AR Integer Integer
    
pcombine :: A -> <Proc> ()
pcombine a = ()
  where
    include A a

    -AR ?a ?b => True

main = ()
--
()