Up
—
package
core
Module
Core__Import.Test_blit_intf.Test_blit.Test
Parameters
Tested
:
Base.Blit.S
with
type
t
:=
Sequence.t
Sequence
:
Sequence
with
type
elt
:=
Elt.t
Elt
:
Elt
Signature