Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file tree.ml
123456789(** Type definition of Regular Expression Abstract Syntax Tree *)typere=|Literalofstring(* a ∈ Σ *)|Epsilon(* ε *)|Empty(* ∅ *)|Unionofre*re(* E + R *)|Concatofre*re(* E·R *)|Starofre(* E* *)