TC (SWAL.Automata.Word.TC)

include module type of struct include T end

type t = Char.t Base.list

val compare : t -> t -> Base.int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val equal : t -> t -> Base.bool

val sexp_of_t : t -> Sexplib0.Sexp.t

include sig ... end

type comparator_witness = Base__Comparator.Make(T).comparator_witness

val comparator : (T.t, comparator_witness) Base__Comparator.comparator