Lex.gf « model « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/model/Lex.gf

blob: 3467e6870705adc28eca0963cd122b854b9b2bea (plain)

interface Lex = open Syntax in {

  oper
    even_A : A ;
    odd_A : A ;
    zero_PN : PN ;

}