Module Ast.InferSource

Contains some structures used for type inference

Sourcemodule Any : Utils.Uid.Id with type info = unit

We do not reuse typ because we have to include a new TAny variant. Indeed, error terms can have any type and this has to be captured by the type sytem.

Sourceand typ =
  1. | TLit of typ_lit
  2. | TArrow of unionfind_typ * unionfind_typ
  3. | TTuple of unionfind_typ list * StructName.t option
  4. | TEnum of unionfind_typ list * EnumName.t
  5. | TArray of unionfind_typ
  6. | TAny of Any.t
Sourceval typ_to_ast : unionfind_typ -> marked_typ
Sourceval ast_to_typ : marked_typ -> unionfind_typ