%   Fixture of test/hash_consing_rewrite.pl: forty clauses told apart by
%   the INNER constructor of an application, enough for SWI-Prolog to build a
%   deep index on the shape, the first argument of the Id.
:- module(inner_dispatch, [kind/2]).
:- use_module('../../prolog/hash_consing', []).
:- hash_consing:rewritten([apply(*, _), closure_00(_), closure_01(_), closure_02(_), closure_03(_), closure_04(_), closure_05(_), closure_06(_), closure_07(_), closure_08(_), closure_09(_), closure_10(_), closure_11(_), closure_12(_), closure_13(_), closure_14(_), closure_15(_), closure_16(_), closure_17(_), closure_18(_), closure_19(_), closure_20(_), closure_21(_), closure_22(_), closure_23(_), closure_24(_), closure_25(_), closure_26(_), closure_27(_), closure_28(_), closure_29(_), closure_30(_), closure_31(_), closure_32(_), closure_33(_), closure_34(_), closure_35(_), closure_36(_), closure_37(_), closure_38(_), closure_39(_)]).

kind(apply(closure_00(_), _), closure_00).
kind(apply(closure_01(_), _), closure_01).
kind(apply(closure_02(_), _), closure_02).
kind(apply(closure_03(_), _), closure_03).
kind(apply(closure_04(_), _), closure_04).
kind(apply(closure_05(_), _), closure_05).
kind(apply(closure_06(_), _), closure_06).
kind(apply(closure_07(_), _), closure_07).
kind(apply(closure_08(_), _), closure_08).
kind(apply(closure_09(_), _), closure_09).
kind(apply(closure_10(_), _), closure_10).
kind(apply(closure_11(_), _), closure_11).
kind(apply(closure_12(_), _), closure_12).
kind(apply(closure_13(_), _), closure_13).
kind(apply(closure_14(_), _), closure_14).
kind(apply(closure_15(_), _), closure_15).
kind(apply(closure_16(_), _), closure_16).
kind(apply(closure_17(_), _), closure_17).
kind(apply(closure_18(_), _), closure_18).
kind(apply(closure_19(_), _), closure_19).
kind(apply(closure_20(_), _), closure_20).
kind(apply(closure_21(_), _), closure_21).
kind(apply(closure_22(_), _), closure_22).
kind(apply(closure_23(_), _), closure_23).
kind(apply(closure_24(_), _), closure_24).
kind(apply(closure_25(_), _), closure_25).
kind(apply(closure_26(_), _), closure_26).
kind(apply(closure_27(_), _), closure_27).
kind(apply(closure_28(_), _), closure_28).
kind(apply(closure_29(_), _), closure_29).
kind(apply(closure_30(_), _), closure_30).
kind(apply(closure_31(_), _), closure_31).
kind(apply(closure_32(_), _), closure_32).
kind(apply(closure_33(_), _), closure_33).
kind(apply(closure_34(_), _), closure_34).
kind(apply(closure_35(_), _), closure_35).
kind(apply(closure_36(_), _), closure_36).
kind(apply(closure_37(_), _), closure_37).
kind(apply(closure_38(_), _), closure_38).
kind(apply(closure_39(_), _), closure_39).