text: // This file was generated by purescript-docs-search.
  window.DocsSearchIndex["48"] = [["||",[{"values":[{"sourceSpan":{"start":[48,1],"name":".spago/prelude/v4.1.1/src/Data/HeytingAlgebra.purs","end":[48,20]},"score":84,"packageInfo":{"values":["prelude"],"tag":"Package"},"name":"(||)","moduleName":"Data.HeytingAlgebra","info":{"values":[],"tag":"ValueAliasResult"},"hashAnchor":"v","comments":null}],"tag":"SearchResult"}]],["$>",[{"values":[{"sourceSpan":{"start":[73,1],"name":".spago/prelude/v4.1.1/src/Data/Functor.purs","end":[73,24]},"score":84,"packageInfo":{"values":["prelude"],"tag":"Package"},"name":"($>)","moduleName":"Data.Functor","info":{"values":[],"tag":"ValueAliasResult"},"hashAnchor":"v","comments":null}],"tag":"SearchResult"}]]]