Up
–
codex
»
Datatype_sig
»
Conv
» C
Parameter
Conv.C
type
t
val
conv :
t
->
B1.t