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