Module type Domain_lift.Conversion

module type Conversion = sig .. end

type extended_value 
type extended_location 
type internal_value 
type internal_location 
val extend_val : internal_value ->
extended_value
val restrict_val : extended_value ->
internal_value
val extend_loc : internal_location ->
extended_location
val restrict_loc : extended_location ->
internal_location