YaccConstructor


Common

Namespace: Yard.Core.ConstraintsImpl

Functions and values

Function or valueDescription
existsProd pred
Signature: pred:(t<'a,'b> -> bool) -> t<'a,'b> -> bool
Type parameters: 'a, 'b
existsRules pred grammar
Signature: pred:(t<'c,'d> -> bool) -> grammar:t<'c,'d> -> bool
Type parameters: 'c, 'd
existsSubProd pred
Signature: pred:(t<'e,'f> -> bool) -> t<'e,'f> -> bool
Type parameters: 'e, 'f
Fork me on GitHub