Up
–
bastet
»
Bastet
»
Verify
»
Invariant
» 1-I
Parameter
Invariant.1-I
type
'a t
val
imap :
(
'a
->
'b
)
->
(
'b
->
'a
)
->
'a
t
->
'b
t