Module type Location_lift.Conversion

module type Conversion = sig .. end

type extended_value 
type internal_value 
val extend_val : internal_value ->
extended_value
val restrict_val : extended_value ->
internal_value