[simon@guadeloupe src]$ ocamlfind ocamlc -c -g -bin-annot -thread -package core -package ppx_deriving.show -I src -I lib -o scribbleAST.cmo -dsource scribbleAST.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/simon/.opam/4.02.3/lib/ocaml/compiler-libs, /home/simon/.opam/4.02.3/lib/ocaml
type name = string
type alias = string
type ext_name = string
type src = string
type payload_ty = string
type message = (name* payload_ty list)[@@deriving show]
type import =
  [ `ImportBasic of name  | `ImportAlias of (name* alias)
  | `ImportMember of (name* name)
  | `ImportMemberAlias of (name* name* alias) ][@@deriving show]
type role =
  [ `RoleDecl of name  | `RoleDeclAlias of (name* alias)
  | `SelfRoleDecl of name ][@@deriving show]
type role_instantiation =
  [ `RoleInstantiation of name  | `RoleInstantiationNew of name
  | `RoleInstantiationAlias of (name* alias) ][@@deriving show]
type param =
  [ `TypeParam of name  | `TypeParamAlias of (name* alias)
  | `SigParam of name  | `SigParamAlias of (name* alias) ][@@deriving show]
type argument =
  [ `MessageSigArg of message  | `MessageSigArgAlias of (message* alias)
  | `IdentArg of name  | `IdentAliasArg of (name* alias) ][@@deriving show]
type payload = (payload_ty* ext_name* src* name)[@@deriving show]
type from_name = name[@@deriving show]
type to_names = name list[@@deriving show]
type argument_instantiation = message[@@deriving show]
type message_transfer = (message* from_name* to_names)[@@deriving show]
type global_interrupt = (message list* name)[@@deriving show]
type global_interaction =
  [ `GlobalMessageTransfer of message_transfer
  | `GlobalChoice of (name* global_interaction_block list)
  | `GlobalRecursion of (name* global_interaction_block)
  | `GlobalContinue of name
  | `GlobalParallel of global_interaction_block list
  | `GlobalInterruptible of
      (global_interaction_block* name option* global_interrupt list)
  | `GlobalDo of (name* argument_instantiation list* role_instantiation list) ]
[@@deriving show]
and global_interaction_block = global_interaction list[@@deriving show]
type global_protocol =
  (name* param list* role list* global_interaction_block)[@@deriving show]
type local_interaction =
  [ `LocalSend of (message* to_names)
  | `LocalReceive of (message* from_name)
  | `LocalChoice of (name* local_interaction_block list)
  | `LocalRecursion of (name* local_interaction_block)
  | `LocalContinue of name  | `LocalParallel of local_interaction_block list
  | `LocalDo of (name* argument_instantiation list* role_instantiation list) ]
[@@deriving show]
and local_interaction_block = local_interaction list[@@deriving show]
type local_protocol = (name* param list* role list* local_interaction_block)
[@@deriving show]
type protocol =
  [ `GlobalProtocol of global_protocol  | `LocalProtocol of local_protocol ]
[@@deriving show]
type scribble_module = (name* import list* payload list* protocol list)
[@@deriving show]