datatype unit = Cm | M | Ft | In
(* Available units of measurement *)
val allUnits : list unit

type length = {Value : float, Uni : unit}

val show_unit : show unit
val show_length : show length

val convert : length -> unit -> length