LexMath.gf « embedded « tutorial « old-examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/old-examples/tutorial/embedded/LexMath.gf

blob: 25bfe8846071af52b2353fe487c4ce5303e1e089 (plain)

interface LexMath = open Syntax in {

  oper
    even_A  : A ;
    odd_A   : A ;
    prime_A : A ;

}