Module type Local.local

type t = local