3 Commits (master)

Author	SHA1	Message	Date
Jeremie Dimino	2d31ebfc8b	Add support for [@@immediate64] ... Signed-off-by: Jeremie Dimino <jeremie@dimino.org>	2019-09-24 07:56:15 +01:00
Rodolphe Lepigre	70efc8555a	Added missing headers in [typing/typedecl_*.mli].	2018-11-24 00:06:26 +01:00
Rodolphe Lepigre	ca227428f4	Typedecl: split immediacy to a separate unit Typedecl_variance ... get_unboxed_type_representation is used in several other modules, and split into its own Typedecl_unboxed unit. (pair-programming with Gabriel Scherer)	2018-11-23 12:05:33 +01:00