Module Rmciltmps.IS

module IS: Datatype.Int.Set