backend: initial implementation append_justification
Initial implementation of append_justification on the Backend trait, and also remove unused skeleton functions for append_justificaton on Finaziler trait. k
parent
9920319d
Please register or sign in to comment