funcons-tools-0.2.0.1: manual/Funcons/Core/Values/Primitive/StringsBuiltin.hs

{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.StringsBuiltin where

import Funcons.EDSL
import Funcons.Types hiding (stepTo_String, to_string_)
import qualified Funcons.Operations as VAL

library = libFromList [
        ("to-string", fromValOp to_string_ VAL.to_string_)
    ]

to_string_ = applyFuncon "to-string"