tree 31fa2eaad84e0126390a85199e821bfa6df66ec2
parent d35194c995b28b69521ca02752e7ef886f82a285
author Gilles Sadowski <gilleseran@gmail.com> 1641649975 +0100
committer Gilles Sadowski <gilleseran@gmail.com> 1641649975 +0100

Add accessors.

Allow retrieval of the full state, e.g. for persistent storage (cf. MATH-1594).