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
|