module Authlete::Types