PredicatePreprocessing (astral.Astral_internal.PredicatePreprocessing)

val make_logger : InductiveDefinition.t -> (module Debug_sig.EXTENDED_LOGGER)

Create Logger module

val preprocess_cases : 
  (SL.t -> SL.t) ->
  InductiveDefinition.t ->
  InductiveDefinition.t

val rewrite_semantics : SL.t -> SL.t

val repeat_until_fixpoint : eq:('a -> 'a -> bool) -> ('a -> 'a) -> 'a -> 'a

val normalise : InductiveDefinition.t -> InductiveDefinition.t option

val preprocess : InductiveDefinition.t -> InductiveDefinition.t option