package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val parse_lts :
(int -> unit) ->
(int -> unit) ->
(int -> (string * int) list -> string list -> string option -> unit) ->
(unit -> 'a) ->
in_channel ->
'aval parse_explicit_lts : in_channel -> Tcstransitionsys.explicit_ltsval parse_explicit_initlts : in_channel -> Tcstransitionsys.explicit_initltsval parse_ts :
(int -> unit) ->
(int -> unit) ->
(int -> int list -> string list -> string option -> unit) ->
(unit -> 'a) ->
in_channel ->
'aval parse_explicit_ts : in_channel -> Tcstransitionsys.explicit_tsval parse_explicit_initts : in_channel -> Tcstransitionsys.explicit_initts