Parameter `Make.5-G`

type t
type l = R.label

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