module comb
signature
  sorts Comb
  constructors
  K : Comb
  S : Comb
  Apply : Comb * Comb -> Comb