module
Vec.Updates
where
open
import
Vec.Updates.Base
public