mv-model 0.3.2

Move model
Documentation 
1
2
3
4
5

module 0x42::TestModule {
}

spec 0x42::TestModuleUndefined {
}