package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val delta_timing : ('a, 'b, 'c) Tcsautomata.DMA.t -> Tcstiming.SimpleTiming.timing_object -> ('a, 'b, 'c) Tcsautomata.DMA.t
val accept_timing : ('a, 'b, 'a -> 'c) Tcsautomata.DMA.t -> Tcstiming.SimpleTiming.timing_object -> ('a, 'b, 'a -> 'c) Tcsautomata.DMA.t
val full_timing : ('a, 'b, 'a -> 'c) Tcsautomata.DMA.t -> Tcstiming.SimpleTiming.timing_object -> ('a, 'b, 'a -> 'c) Tcsautomata.DMA.t