ExpandConjunction
Namespace: Yard.Core.Conversions
Nested types and modules
| Type | Description |
| ExpandConjunction |
Functions and values
| Function or value | Description |
extractOneRule rule
Signature: rule:t<t,t> -> t<t,t> list
|
|