module Minispec