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