camfort-0.902: CamFort - Cambridge Fortran infrastructure
Camfort.Specification.Stencils.DenotationalSemantics
intervalsToRegions :: UnionNF (S n) (Interval Standard) -> Either String Spatial Source #
regionsToIntervals :: forall n. Natural n -> Spatial -> Either String (UnionNF n (Interval Standard)) Source #