Up
–
codex
»
Domains
»
Domain_sig
»
Make_Convert
» C
Parameter
Make_Convert.C
module
From
:
Context
module
To
:
Context
val
convert :
From.t
->
To.t