path: root/examples/compiling/Compex.gf

abstract Compex = {
  cat Prop ; Ind ;
  fun Even : Ind -> Prop ;
}