module type Conversion =sig
..end
type
extended_value
type
internal_value
val extend_val : internal_value ->
extended_value
val replace_val : internal_value ->
extended_value ->
extended_value
val restrict_val : extended_value ->
internal_value