package grenier

  1. Overview
  2. Docs

Parameters

module DFA : DFA

Signature

val transport_state : DFA.States.t Finite.element -> States.t Finite.element option
val transport_transition : DFA.Transitions.t Finite.element -> Transitions.t Finite.element option
OCaml

Innovation. Community. Security.