Up
–
odoc
»
Odoc_model
»
Paths
»
Identifier
» FunctorResult
Module
Identifier.FunctorResult
type
t
=
Id.functor_result
type
t_pv
=
Id.functor_result_pv