LexFace.gf « face « lrec-tutorial « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/lrec-tutorial/face/LexFace.gf

blob: db60ab8fde26021efda56cdf15f82d89d3b58510 (plain)

interface LexFace = open Syntax in {

oper
  like_V2 : V2 ;
  invitation_N : N ;
  friend_N : N ; 

}