SID_checks (astral.Astral_internal.SID

type distinguisher =

module Logger : Logger_sig.LOGGER

module M : sig ... end

type t = distinguisher M.t

val is_distinguishable_by_sort : 
  InductiveDefinition.t ->
  distinguisher M.t ->
  bool

val check_sort : SL.Variable.t -> SL.Variable.t -> bool

Check whether two inductive definitions are indistinguishable by sorts

val check_field_case : SL.Variable.t -> MemoryModel0.Field.t -> SL.t -> bool

val check_field_case2 : SL.Variable.t -> MemoryModel0.Field.t -> SL.t -> bool

val check_field : 
  InductiveDefinition.t ->
  InductiveDefinition.t ->
  SL.Variable.t ->
  SL.Variable.t ->
  bool

val check_id_pair : 
  distinguisher M.t ->
  (InductiveDefinition.t * InductiveDefinition.t) ->
  distinguisher M.t

val check_partial_order : DependencyGraph.g -> unit

val compute_distinguishers : DependencyGraph.g -> 'a M.t