LevelSet module is documented.