chc.proof.CFunctionLocalSPO module

Support proof obligation for a local assumption made.

class chc.proof.CFunctionLocalSPO.CFunctionLocalSPO(cproofs: CFunctionProofs, potype: CFunPOType, status: str = 'open', deps: Optional[CProofDependencies] = None, expl: Optional[str] = None, diag: Optional[CProofDiagnostic] = None)[source]