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 #