package KaSim

  1. Overview
  2. Docs
type !'a t =
  1. | Agent of 'a
  2. | Freed of 'a Instantiation.site
  3. | Linked of 'a Instantiation.site * 'a Instantiation.site
  4. | NegativeWhatEver of 'a Instantiation.site
  5. | PositiveInternalized of 'a * Instantiation.site_name * Instantiation.internal_state
  6. | NegativeInternalized of 'a Instantiation.site
val print : ?sigs:Signature.s -> Format.formatter -> Instantiation.abstract t -> unit