Up
—
package
core
Module
Core__Import.Test_blit_intf.Test_blit.Test1
Parameters
Tested
:
Base.Blit.S1
with
type
a
t
:= a
Sequence.t
Sequence
:
Sequence1
with
type
a
elt
:= a
poly
Signature