Up
–
codex
»
Single_value_abstraction
»
Sig
» Boolean_Conversions
Module type
Sig.Boolean_Conversions
type
boolean
val
convert_to_quadrivalent :
boolean
->
Quadrivalent.t