Parse a string into a Syntax.scr_module.

Parse from an input channel. The first parameter is the filename, for use in error messages.

validate_exn module validates the module module by performing standard checks. If verbose is set to true in the config, debugging messages will be printed

enumerate module enumerates the roles occurring in module. The output is a list of pair (protocol, role-name).

project_role module protocol role computes the local type for role role in the protocol protocol.

get_global_type module gets the corresponding global type for a module

generate_fsm module protocol role computes the finite state machine of role role in protocol protocol, in module module. It returns a pair (v, g) where g is the graph describing the fsm, and v is the root index.

generate_code module protocol out_dir go_path generates Golang implementation for protocol. The protocol implementation designed to be a subpackage within a project. out_dir is the path from the root of the project until the package inside which the protocol implementation (subpackage) should be generated - it is needed to generate imports. go_path is the path to the project root, which can optionally be provided in order to write the implementation to the file system.

generate_code ~monad module protocol role generates event-style OCaml code for the role in protocol, inside a module monad indicates whether the generated code uses a monad for transport (e.g. Lwt, Async)

generate_code ~monad module protocol role generates event-style OCaml code for the role in protocol, inside a module monad indicates whether the generated code uses a monad for transport (e.g. Lwt, Async)

generate_ast ~monad module protocol role is similar to generate_code, except it returns an AST instead of a string

Generate F* code, with support for refinement types