package lascar

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

Parameters

module Expr : Fsm_expr.T

Signature

module Expr = Expr
module Condition : Fsm_condition.T with module Expr = Expr with module Expr = Expr
module Action : Fsm_action.T with module Expr = Expr with module Expr = Expr
type t = Condition.t list * Action.t list
val compare : t -> t -> int
val to_string : t -> string
val of_string : ?lexer:(string -> Genlex.token Stream.t) -> string -> t
val lexer : string -> Genlex.token Stream.t
val parse : Genlex.token Stream.t -> t