package lascar

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Expr = Expr
module Condition : Fsm_condition.T with module Expr = Expr with type Expr.value = Value.t
module Action : Fsm_action.T with module Expr = Expr with type Expr.value = Value.t
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