Module type `Rs.G`

Input signature of the functor TsType.Make representing a directed graph data structure.

type t
type l

val init : int -> Base.Predicate.t list -> t
val states : t -> (int * Big.t) Base.H_int.t
val label : t -> Base.S_predicate.t * int Base.H_predicate.t
val edges : t -> (int * l * string) Base.H_int.t
val string_of_l : l -> string