Invariant (base.Base.Invariant)

type nonrec !'a t = 'a -> unit

module type S = sig ... end

module type S1 = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

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

val check_field : 
  'a ->
  'b t ->
  ([ `Read | `Set_and_create ], 'a, 'b) Base__.Field.t_with_perm ->
  unit