Common
Namespace: Yard.Core.ConstraintsImpl
Functions and values
| Function or value | Description |
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 |
|
