mcqc icon indicating copy to clipboard operation
mcqc copied to clipboard

Published 20 hours ago • verified publisher icon mit-pdos

Support struct types

Open elefthei opened this issue 5 years ago • 0 comments

Should be:

Coq struct type declarations -> C struct type declarations

  • accessor functions

elefthei avatar Sep 23 '18 22:09 elefthei