zeolite-lang-0.1.0.0: src/Test/testfiles/value_interface.0rx

@value interface Type<#a,#b|#c,#d|#e,#f> {
  refines Parent
  refines Other<Type2<#a>,#f>
  #a allows Parent
  #b requires Type2<#a>
  #c defines Equals<#c>

  get () -> (#x)
  set (#x) -> ()

  something<#y>
    #y requires T1
    #y allows T2
    #y defines T3
  (#y) -> (#y)
}