Up
–
preface
»
Preface_laws
»
Traversable
» LAWS_MONAD
Module type
Traversable.LAWS_MONAD
type
'a t
val
traversable_1 :
unit
->
(
'a
t
,
'a
t
)
Law.t