úθ‰portablestablemasahiro.sakai@gmail.com Safe-InferedThe * type represents optimization directions.  maximization minimization  OptDir-0.0.1 Data.OptDirOptDirOptMaxOptMin