Those are the only ways OCaml represents types in memory (besides float, as briefly mentioned in the article) If you have a record type, or anything else, that

Those are the only ways OCaml represents types in memory (besides float, as briefly mentioned in the article) If you have a record type, or anything else, that'll compile to a pointer and an object in memory, comparable to e.g. Python or Java objects. Types like booleans are converted to integers by the compiler, similarly to C(++) (though there's no implicit conversion on the language level).