{ Type =
    { TotalActuators : Optional Double
    , TotalAttributes : Optional Double
    , TotalBranches : Optional Double
    , TotalNodes : Optional Double
    , TotalSensors : Optional Double
    }
, default =
  { TotalActuators = None Double
  , TotalAttributes = None Double
  , TotalBranches = None Double
  , TotalNodes = None Double
  , TotalSensors = None Double
  }
}