purescript-0.12.0: tests/purs/passing/SolvingIsSymbol/Lib.purs

module SolvingIsSymbol.Lib where

import Data.Symbol

literalSymbol :: SProxy "literal"
literalSymbol = SProxy

libReflectSymbol :: forall s. IsSymbol s => SProxy s -> String
libReflectSymbol = reflectSymbol