package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
  • returns

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

check_xxx_annot functions below are remains from the past (they were called parse_xxx_annot before). They check that annotations are well-formed and, depending on different contexts, that only the annotations that are expected to be found are present. Hopefully we will relax this property soon.

Check a type annotation only.

Check a field annotation only.

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

Checks whether a node has a field annotation.

Extract and remove a field annotation as an entrypoint from a node

Instruction annotations parsing

Check a variable annotation.

val is_allowed_char : char -> bool

Parses a field annotation and converts it to an entrypoint. An error is returned if the annotation is too long or is "default". An empty annotation is converted to "default".

Parse a field annotation and convert it to an entrypoint. An error is returned if the field annot is too long. An empty annotation is converted to "default".

OCaml

Innovation. Community. Security.