第22条 とそのプログラム

第22条

承諾は、その撤回通知が、承諾の効力が生じたであろう時よりも 前又はそれと同時に申込者に到達すれば、撤回できる。

プログラム

capable::承諾撤回[順番=N]/[承諾者=A,申込者=B] <= 
  fact:回答[順番=M]/[行為者=A, 受取人=B, 種類=削除[対象=回答[順番=N]]];
  def:承諾[順番=N]/[承諾者=A,申込者=B];
  def:到達[順番=N]/[到達日時=S0];
  def:到達[順番=M]/[到達日時=S1]
  ||{S1 =< S0};;