archetype 1.2.2 · OCaml Package

type token =

| XOR
| WITH
| WHILE
| WHEN
| VIEW
| VARIABLE
| VAR
| UTZ of string
| USE
| UNPACK
| UNMOVED
| UNIT
| UNDERSCORE
| TZ of string
| TYPE
| TRUE
| TRANSITION
| TRANSFER
| TO
| TICKET
| THEN
| STRING of string
| STATES
| SPECIFICATION
| SORTED
| SOME
| SLASHPERCENT
| SLASH
| SHADOW
| SET
| SEMI_COLON
| SELF
| SECURITY
| SAPLING_TRANSACTION
| SAPLING_STATE
| RPAREN
| RIGHT
| RETURN
| REQUIRE
| REMOVED
| REFUSE_TRANSFER
| REF
| RECORD
| RBRACKET
| RBRACE
| PREDICATE
| POSTCONDITION
| PLUSEQUAL
| PLUS
| PKEY
| PIPE_GREATER_GREATER
| PIPEEQUAL
| PIPE
| PIDENT of string
| PERCENT_LIT of string
| PERCENTRBRACKET
| PERCENT
| PARTITION
| OTHERWISE
| OR
| OPTION
| ON
| OF
| NUMBERNAT of Big_int.big_int
| NUMBERINT of Big_int.big_int
| NOT
| NONE
| NEQUAL
| NAMESPACE
| MULTEQUAL
| MULT
| MTZ of string
| MINUSEQUAL
| MINUS
| MATCH
| MAP
| LPAREN
| LIST
| LET
| LESS_LESS_PIPE
| LESS_EQUAL_GREATER
| LESSEQUAL
| LESS
| LEFT
| LBRACKETPERCENT
| LBRACKET
| LBRACE
| LAMBDA
| LABEL
| ITER
| INVARIANT
| INVALID_EXPR
| INVALID_EFFECT
| INVALID_DECL
| INITIALIZED
| INITIAL
| IN
| IMPLY
| IF
| IDENTIFIED
| IDENT of string
| GREATEREQUAL
| GREATER
| GETTER
| FUNCTION
| FROM
| FORALL
| FOR
| FOLD
| FALSE
| FAILS
| FAILIF
| FAIL
| EXTENSION
| EXISTS
| EQUIV
| EQUAL
| EOF
| ENUM
| ENTRYPOINT
| ENTRY
| END
| ELSE
| EFFECT
| DURATION of string
| DOT
| DOREQUIRE
| DONE
| DOFAILIF
| DO
| DIVEQUAL
| DIV
| DEFINITION
| DECIMAL of string
| DATE of string
| CONTRACT
| CONSTANT
| COMMA
| COLONEQUAL
| COLONCOLON
| COLON
| CALLED
| CALL
| BYTES of string
| BY
| BUT
| BIG_MAP
| BEGIN
| BEFORE
| AT_UPDATE
| AT_REMOVE
| AT_ADD
| AT
| ASSET
| ASSERT
| AS
| ARCHETYPE
| ANY
| AND
| AMPEQUAL
| AGGREGATE
| ADDRESS of string
| ADDED
| ACCEPT_TRANSFER

exception Error

val start_expr : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  ParseTree.expr

val main : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  ParseTree.archetype

module MenhirInterpreter : sig ... end

module Incremental : sig ... end

package archetype