Module type Location_lift.Conversion

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