MODULE

A Module is a compilation unit that binds one or more models with their corresponding inputs. It defines inference scope and structure but does not perform execution.