Up
—
package
core_kernel.base_for_tests
Module
Base_for_tests.Test_blit.Test
Parameters
Tested
:
Base.Blit.S
with
type
t
:=
Sequence.t
Sequence
:
Sequence
with
type
elt
:=
Elt.t
Elt
:
Elt
Signature