Clause
Namespace: FsCassy
Functions and values
Function or value | Description |
map f _arg1
Signature: f:('?7729 -> '?7730) -> _arg1:Clause<'?7731,'?7729> -> Clause<'?7731,'?7730>
Type parameters: '?7729, '?7730, '?7731 |