コード例 #1
0
 public ProofStep ToProofStep()
 {
     return(new ProofStep(src.ToRule(), env));
 }