BoolBuiltin.hs

{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.BoolBuiltin where

import Funcons.EDSL

tobool :: Bool -> Values 
tobool True   = ADTVal "true" []
tobool False  = ADTVal "false" []