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