package safa

  1. Overview
  2. Docs
type (!'s, !'v, !'k, !'o) t = {
  1. m : ('s, 'k) Bdd.mem;
  2. t : 's -> ('v, ('s, 'k) Bdd.node) Common.span;
  3. o : 's -> 'o;
  4. output_check : 's -> 's -> bool;
  5. state_info : 's Common.formatter;
}
val trace : ?exclude:'s -> 'v Common.formatter -> 'k Common.formatter -> 'o Common.formatter -> ('s, 'v, 'k, 'o) t -> 's -> unit
val size : ('s, 'a, 'b, 'c) t -> 's list -> int * int
val generic_output_check : ('s -> 'o) -> 's -> 's -> bool