Biabduction.RetainCyclesTypeA retain cycle is a non-empty list of paths. It also contains a pointer to the head of the list to model the cycle structure. The next element from the end of the list is the head.
val d_retain_cycle : t -> unitval create_cycle : retain_cycle_edge list -> t optionCreates a cycle if the list is non-empty
val pp_dotty : Stdlib.Format.formatter -> t -> unitval write_dotty_to_file : string -> t -> unit