* Changer l'unité de mesure (cm, m, inch, ft) Mesurez les choses réelles en utilisant votre téléphone, pointez simplement et appuyez sur pour obtenir la taille d'un objet. Avec le ruban à mesurer AR, vous avez toujours du ruban adhésif dans votre poche!
unit_attname('centimeter')) cm Unités prises en charge¶ Attribut d’unitéNom complet ou alias km Kilometre, Kilometer mi Mile m Meter, Metre yd Yard ft Foot, Foot (International) survey_ft U.S. Foot, US survey foot inch Inches cm Centimeter mm Millimetre, Millimeter um Micrometer, ...
cm/inch> =2.54<cm/inch>letmlPerCubicCentimeter : float<ml/cm^3> =1.0<ml/cm^3>letmlPerLiter : float<ml/L> =1000.0<ml/L>// Define conversion functions.letconvertGramsToKilograms (x : float<g>) = x / gramsPerKilogramletconvertCentimetersToInches (x : float<cm>) = x / cmPerInch...
* Changer l'unité de mesure (cm, m, inch, ft) Mesurez les choses réelles en utilisant votre téléphone, pointez simplement et appuyez sur pour obtenir la taille d'un objet. Avec le ruban à mesurer AR, vous avez toujours du ruban adhésif dans votre poche!
unit_attname('centimeter')) cm Unités prises en charge¶ Attribut d’unitéNom complet ou alias km Kilometre, Kilometer mi Mile m Meter, Metre yd Yard ft Foot, Foot (International) survey_ft U.S. Foot, US survey foot inch Inches cm Centimeter mm Millimetre, Millimeter um Micrometer, ...