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