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
type t =
  1. | Test of Expr.ident * string * Expr.t
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
val keywords : string list
val eval : Expr.env -> t -> bool