ToCNF
Namespace: Yard.Core.Conversions
Nested types and modules
| Type | Description |
| DeleteChainRule | |
| DeleteEpsRule | |
| RenameTerm | |
| SplitLongRule | |
| ToCNF |
Functions and values
| Function or value | Description |
deleteChainRule ruleList
Signature: ruleList:t<'?8536,'?8537> list -> t<'?8536,'?8537> list
Type parameters: '?8536, '?8537 |
|
deleteEpsRule ruleList
Signature: ruleList:t<'?8533,'?8534> list -> t<'?8533,'?8534> list
Type parameters: '?8533, '?8534 |
|
deleteTrashRule rulesList
Signature: rulesList:t<'?8530,'?8531> list -> t<'?8530,'?8531> list
Type parameters: '?8530, '?8531 |
|
renameTerm ruleList
Signature: ruleList:t<'?8539,'?8540> list -> t<'?8539,'?8540> list
Type parameters: '?8539, '?8540 |
|
splitLongRule rules
Signature: rules:t<'?8527,'?8528> list -> t<'?8527,'?8528> list
Type parameters: '?8527, '?8528 |
|
toCNF ruleList
Signature: ruleList:t<'?8542,'?8543> list -> t<'?8542,'?8543> list
Type parameters: '?8542, '?8543 |
|
