Module biodivine_lib_bdd::_impl_bdd::_impl_serialisation

source · [−]
Expand description

(internal) Implementation of the string and byte serialisation procedures for Bdds.

Functions

lift_err