sig type t = package val compare : t -> t -> int val hash : t -> int val equal : t -> t -> bool val to_string : t -> string val string_of_action : ?causes:(t -> t cause) -> t action -> string end