1 2 3 4 5 6 7 8
interface LexFace = open Syntax in { oper like_V2 : V2 ; invitation_N : N ; friend_N : N ; }