package lascar

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lascar.Fsm_exprSource

Simple (int) expressions for FSMs

Sourcetype ident = string

The type of identifiers occuring in expressions

Sourcetype value = int

The type of expression values

Sourcetype t =
  1. | EConst of value
    (*

    Constants

    *)
  2. | EVar of ident
    (*

    Input, output or local variable

    *)
  3. | EBinop of string * t * t
    (*

    Binary operation ("+", "-", "*" or "/")

    *)

The type of expressions

Sourcetype env = (ident * value option) list
Sourceexception Unknown of ident
Sourceexception Unbound of ident
Sourceexception Illegal_expr
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval lookup : env -> ident -> value
Sourceval eval : env -> t -> value
Sourceval lexer : string -> Genlex.token Stream.t
OCaml

Innovation. Community. Security.