Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package safa
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val generic :
('s, 's Common.set, 'v, 'k, 'o) Automata.snfa ->
('s Common.set, 'v, 'k, 'o) Automata.sdfaval optimised :
(int, Common.int_set, 'v, 'k, 'o) Automata.snfa ->
(Common.int_set, 'v, 'k, 'o) Automata.sdfa