funcons-tools-0.2.0.3: manual/Funcons/Core/Values/Primitive/BoolBuiltin.hs
{-# LANGUAGE OverloadedStrings #-}
module Funcons.Core.Values.Primitive.BoolBuiltin where
import Funcons.EDSL
import Funcons.Operations hiding (Values, libFromList)
library = libFromList []
bool_ :: Bool -> Funcons
bool_ = FValue . tobool