TwoSetsFuns
Namespace: global
Parent Module: HelperTypes
Functions and values
| Function or value | Description |
add mv ts
Signature: mv:MarkedVal<'?7552> -> ts:TwoSets<'?7552> -> TwoSets<'?7552>
Type parameters: '?7552 |
|
contains v ts
Signature: v:'?7554 -> ts:TwoSets<'?7554> -> bool
Type parameters: '?7554 |
|
empty
Signature: TwoSets<'?7550>
Type parameters: '?7550 |
|
