Replace an annotation by its default value if it is None

Generate annotation for field accesses, of the form @var.field1.field2

Merge type annotations.

• returns

  an error Inconsistent_type_annotations if they are both present and different

Merge field annotations.

• returns

  an error Inconsistent_type_annotations if they are both present and different

Merge variable annotations, does not fail (None if different).

• returns

  an error Unexpected_annotation in the monad the list is not empty.

Same as error_unexpected_annot in Lwt.

Parse a type annotation only.

Parse a field annotation only.

Parse an annotation for composed types, of the form :ty_name %field in any order.

Parse an annotation for composed types, of the form :ty_name %field1 %field2 in any order.

Check that type annotations on constants are consistent

Extract and remove a field annotation from a node

Check that field annotations match, used for field accesses.

Parse a variable annotation, replaced by a default value if None.