Theory signed_ptr_ptr

theory signed_ptr_ptr
imports
  "AutoCorres2_Main.AutoCorres_Main"
begin

install_C_file "signed_ptr_ptr.c"

autocorres "signed_ptr_ptr.c"

end