Declaration of structures for nitni undelying the FFI

Property definitions