예제 #1
0
 public static Term CFGConfigDone(Term state)
 {
     return(CFGConfig(IsaCommonTerms.Inr(IsaCommonTerms.Unit()), state));
 }