コード例 #1
0
ファイル: TypeEmbedder.cs プロジェクト: thisiscam/formula 
        public ITypeEmbedding GetEmbedding(BaseSortKind sort)
        {
            bool wasAdded;

            return(typeToEmbedding[Index.MkApply(Index.SymbolTable.GetSortSymbol(sort), TermIndex.EmptyArgs, out wasAdded)]);
        }
コード例 #2
0
 internal BaseSortSymb(BaseSortKind sortKind)
 {
     SortKind = sortKind;
 }