Up – Package index » async_kernel » Library async_kernel » Async_kernel » Invariant

Module `Async_kernel.Invariant`Source

include module type of Core.Invariant

type nonrec !'a t = 'a Base__Invariant_intf.t

module type S = sig ... end

module type S1 = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

val invariant : 
  Base__.Source_code_position0.t ->
  'a ->
  ('a -> Base__.Sexp.t) ->
  (unit -> unit) ->
  unit

val check_field : 'a -> 'b t -> ('a, 'b) Base__.Field.t -> unit

Sourcemodule Async : sig ... end