Toggle navigation
Hot Examples
ZH
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
搜索
Home
Microsoft
Fast
AST
BuiltinTransExp
BTECheckSorts
Microsoft.Fast.AST.BuiltinTransExp.BTECheckSorts C# (CSharp) Method
BuiltinTransExp Class Documentation
显示文件
Open project: AutomataDotNet/Automata
BTECheckSorts()
abstract
private
method
abstract
private
BTECheckSorts
(
Def>.Dictionary
defs
,
FastPgm
pgm
) :
void
defs
Def>.Dictionary
pgm
FastPgm
return
void
internal abstract void BTECheckSorts(Dictionary<string, Def> defs, FastPgm pgm);
BuiltinTransExp
BTECheckSorts
BuiltinTransExp