Up
–
bastet
»
Bastet__Verify
»
Quasigroup_Any
» 1-Q
Parameter
Quasigroup_Any.1-Q
include
Bastet.Interface.MAGMA_ANY
type
'a t
val
append :
'a
t
->
'a
t
->
'a
t