Up  Next

Module Fsa_set.Estados (.ml)

module Estados: sig .. end

Estados: módulo para a representações dos estados de um autómato. representamos estados como inteiros. estruturamos estes tipo com a função compare habitual

type t = int 
val compare : 'a -> 'a -> int