import { default } from "https://deno.land/x/script_nop@v1.9.2/src/ConditionTanspiler.ts";
Parameters
premiseIndex: MapEntry
attrNotifications: NOPNotifications
x/script_nop/src/ConditionTanspiler.ts>default.receiveAttrToPremiseNotification
import { default } from "https://deno.land/x/script_nop@v1.9.2/src/ConditionTanspiler.ts";