module Declarative