99 open Hints_declaration
122 | Rtl_stack_address of Registers.register * Registers.register
124 val rtl_seq_rect_Type4 :
125 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
127 val rtl_seq_rect_Type5 :
128 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
130 val rtl_seq_rect_Type3 :
131 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
133 val rtl_seq_rect_Type2 :
134 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
136 val rtl_seq_rect_Type1 :
137 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
139 val rtl_seq_rect_Type0 :
140 (Registers.register -> Registers.register -> 'a1) -> rtl_seq -> 'a1
142 val rtl_seq_inv_rect_Type4 :
143 rtl_seq -> (Registers.register -> Registers.register -> __ -> 'a1) -> 'a1
145 val rtl_seq_inv_rect_Type3 :
146 rtl_seq -> (Registers.register -> Registers.register -> __ -> 'a1) -> 'a1
148 val rtl_seq_inv_rect_Type2 :
149 rtl_seq -> (Registers.register -> Registers.register -> __ -> 'a1) -> 'a1
151 val rtl_seq_inv_rect_Type1 :
152 rtl_seq -> (Registers.register -> Registers.register -> __ -> 'a1) -> 'a1
154 val rtl_seq_inv_rect_Type0 :
155 rtl_seq -> (Registers.register -> Registers.register -> __ -> 'a1) -> 'a1
157 val rtl_seq_discr : rtl_seq -> rtl_seq -> __
159 val rtl_seq_jmdiscr : rtl_seq -> rtl_seq -> __
161 val rTL_uns : Joint.unserialized_params
163 val rTL_functs : Joint.get_pseudo_reg_functs
165 val rTL : Joint.graph_params
167 type rtl_program = Joint.joint_program
169 val dpi1__o__reg_to_rtl_snd_argument__o__inject :
170 (Registers.register, 'a1) Types.dPair -> Joint.psd_argument Types.sig0
172 val eject__o__reg_to_rtl_snd_argument__o__inject :
173 Registers.register Types.sig0 -> Joint.psd_argument Types.sig0
175 val reg_to_rtl_snd_argument__o__inject :
176 Registers.register -> Joint.psd_argument Types.sig0
178 val dpi1__o__reg_to_rtl_snd_argument :
179 (Registers.register, 'a1) Types.dPair -> Joint.psd_argument
181 val eject__o__reg_to_rtl_snd_argument :
182 Registers.register Types.sig0 -> Joint.psd_argument
184 val dpi1__o__byte_to_rtl_snd_argument__o__inject :
185 (BitVector.byte, 'a1) Types.dPair -> Joint.psd_argument Types.sig0
187 val eject__o__byte_to_rtl_snd_argument__o__inject :
188 BitVector.byte Types.sig0 -> Joint.psd_argument Types.sig0
190 val byte_to_rtl_snd_argument__o__inject :
191 BitVector.byte -> Joint.psd_argument Types.sig0
193 val dpi1__o__byte_to_rtl_snd_argument :
194 (BitVector.byte, 'a1) Types.dPair -> Joint.psd_argument
196 val eject__o__byte_to_rtl_snd_argument :
197 BitVector.byte Types.sig0 -> Joint.psd_argument
199 val rTL_premain : rtl_program -> Joint.joint_closed_internal_function