specmicp/src/reactmicp/io/configuration.cpp

fixpoint