Invariant (infer.NS.Invariant)

exception Violation of exn * Stdlib.Lexing.position * Sexp.t

val invariant : 
  Stdlib.Lexing.position ->
  'a ->
  ('a -> Sexp.t) ->
  (unit -> unit) ->
  unit

module type S = sig ... end