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