package lascar

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

Module Fsm.TransitionSource

Sourcetype t = Condition.t list * Action.t list
Sourceval compare : t -> t -> int
Sourceval to_string : t -> string
Sourceval of_string : (string * string) -> t