Index - F
| failWith | Camfort.Analysis.CommentAnnotator |
| fanout | Camfort.Helpers |
| fileExt | Camfort.Input |
| Filename | Camfort.Helpers |
| FileOrDir | Camfort.Helpers |
| FileProgram | Camfort.Input |
| filterOutFuns | Camfort.Specification.Stencils.InferenceFrontend |
| find' | Camfort.Specification.Stencils.CheckBackend |
| findIndex | Camfort.Helpers.Vec |
| Flag | Camfort.Functionality |
| flattenConstraints | Camfort.Specification.Units.InferenceBackend |
| flattenUnits | Camfort.Specification.Units.InferenceBackend |
| flexReadFile | Camfort.Input |
| foldPair | Camfort.Helpers |
| Ford | Camfort.Functionality |
| formatSpec | Camfort.Specification.Stencils.Synthesis |
| Forward | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
| freshenCommonNames | Camfort.Transformation.CommonBlockElim |
| fromBool | Camfort.Specification.Stencils.Syntax |
| fromExact | Camfort.Specification.Stencils.Model |
| fromJustMsg | Camfort.Specification.Stencils.InferenceFrontend |
| fromList | Camfort.Helpers.Vec |
| fromLists | Camfort.Helpers.Vec |
| fromNat | Camfort.Helpers.Vec |
| FVersion | Camfort.Functionality |