package KaSim

  1. Overview
  2. Docs
val connected_components_sum_of_ambiguous_mixture : compileModeOn:bool -> Contact_map.t -> Pattern.PreEnv.t -> ?origin:Operator.rev_dep -> LKappa.rule_mixture -> Pattern.PreEnv.t * ((Pattern.id * Pattern.cc) array * Instantiation.abstract Instantiation.test list list) list
val patterns_of_mixture : (int list * (int * int) list) array array -> Signature.s -> Pattern.PreEnv.t -> Edges.t -> Pattern.PreEnv.t * Pattern.cc list
OCaml

Innovation. Community. Security.