Module SL_graph0.SL_edge

type t =
  1. | No
  2. | Equality
  3. | Disequality
  4. | Pointer of MemoryModel.Field.t
  5. | Path of MemoryModel.Field.t
  6. | Disjoint of MemoryModel.Field.t * SL.Term.t
val compare : t -> t -> int
val equal : t -> t -> bool
val default : t
val get_field : t -> MemoryModel.Field.t
val is_pointer : t -> bool
val is_path : t -> bool
val is_disjointness : t -> bool
val is_spatial_any : t -> bool
val is_spatial : MemoryModel.Field.t -> t -> bool
module Self : sig ... end
include sig ... end
val show : Self.t -> string
val pp : Stdlib.Format.formatter -> Self.t -> unit
val print : ?prefix:string -> Self.t -> unit
val show_option : Self.t option -> string
val print_option : ?prefix:string -> Self.t option -> unit
val dump : string -> Self.t -> unit
val show_list : ?separator:string -> Self.t list -> string
val pp_list : Stdlib.Format.formatter -> Self.t list -> unit
val print_list : ?separator:string -> ?prefix:string -> Self.t list -> unit
include sig ... end
module Set : sig ... end
module MonoList : sig ... end
module Map : sig ... end
module MonoMap (Data : sig ... end) : sig ... end