saealib.core.CompilationRule# class saealib.core.CompilationRule(*args, **kwargs)[ソース]# ベースクラス: Protocol Common metadata and application boundary for compiler rules. Methods __init__ apply Apply this rule to the current rule context. Method Details CompilationRule.__init__(*args, **kwargs)# CompilationRule.apply(context)[ソース]# Apply this rule to the current rule context. パラメータ: context (RuleContext) 戻り値の型: VerificationResult | ResolutionResult
