Hyperedge (astral.Astral_internal.SmallModels.Hyperedge)

type t = InductiveDefinition.t * SL.Term.t Stdlib.List.t

val equal : t -> t -> bool

val compare : t -> t -> int

val show : (InductiveDefinition.t * SL.Term.t list) -> string

val of_formula : SL.t -> InductiveDefinition.t * SL.Term.t list

val match_id : ('a * Stdlib.String.t) -> (InductiveDefinition.t * 'b) -> bool

val unfold : 
  base_only:bool ->
  (InductiveDefinition.t * SL.Term.t list) ->
  SL.t list

Replace hyperedge by a list of its possible SL-formula instances.

module Self : sig ... end

include sig ... end

module Set : sig ... end

module MonoList : sig ... end

module Map : sig ... end

module MonoMap (Data : sig ... end) : sig ... end