Instantly share code, notes, and snippets.

Embed
What would you like to do?
open Core
open Set
module type AUTOM = functor (AlphSet: Set.S) (StateSet: Set.S) -> sig
type t = {
alph: AlphSet.t;
states: StateSet.t;
trans: StateSet.Elt.t -> AlphSet.Elt.t -> StateSet.Elt.t;
init: StateSet.Elt.t;
final: StateSet.t}
end
module Autom: AUTOM
open Core
open Set
module type AUTOM = functor (AlphSet: Set.S) (StateSet: Set.S) -> sig
type t = {
alph: AlphSet.t;
states: StateSet.t;
trans: StateSet.Elt.t -> AlphSet.Elt.t -> StateSet.Elt.t;
init: StateSet.Elt.t;
final: StateSet.t}
end
module Autom = functor (AlphSet: Set.S) (StateSet: Set.S) -> struct
type t = {
alph: AlphSet.t;
states: StateSet.t;
trans: StateSet.Elt.t -> AlphSet.Elt.t -> StateSet.Elt.t;
init: StateSet.Elt.t;
final: StateSet.t}
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment