Up
—
package
core_kernel
Module
Core_kernel__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