Sorts.hs

-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/sorts.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.Sorts where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("sorts",NullaryFuncon stepSorts)]

sorts_ = FName "sorts"
stepSorts = norule (FName "sorts")