Index - F
| Falsifiable | Lava.Verification, Lava |
| findIO | Lava.Ref |
| findST | Lava.Ref |
| Finite | Lava.Generic, Lava |
| FiniteSig | Lava.Generic, Lava |
| fixit | Lava.Fixit, Lava |
| fixST | Lava.MyST |
| flatten | Lava.Generic, Lava |
| forAll | Lava.Property, Lava |
| Fresh | Lava.Property, Lava |
| fresh | Lava.Property, Lava |
| fromSignalInt | Lava.Operators, Lava |
| fullAdd | Lava.Arithmetic |
| Function | Lava.SignalTry |