Previous  Up  

Module Fsa_set.Sestado (.ml)

module Sestado: Stdlib.Set.Make(Estados)

Sestado: módulo para conjuntos de estados