Refactored types in `component.rs`

Ecdar / Reveaal

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

5 stars 7 forks source link

Closed t-lohse closed 1 year ago

t-lohse commented 1 year ago

fixes #149

t-lohse commented 1 year ago

I've merged #165 so we wont have anymore re-reviews :upside_down_face: