Ejemplos de BaseSortKind en C# (CSharp)

Ejemplo n.º 1

Archivo: TypeEmbedder.cs Proyecto: thisiscam/formula

        public ITypeEmbedding GetEmbedding(BaseSortKind sort)
        {
            bool wasAdded;

            return(typeToEmbedding[Index.MkApply(Index.SymbolTable.GetSortSymbol(sort), TermIndex.EmptyArgs, out wasAdded)]);
        }

Ejemplo n.º 2

 internal BaseSortSymb(BaseSortKind sortKind)
 {
     SortKind = sortKind;
 }