Gradual.Refinements
makeGMap :: GConfig -> Config -> SInfo a -> [(KVar, (GWInfo, [Expr]))] -> IO (GMap GWInfo) #
Failed to load file 'doc-index.json' containing definitions in this package.