Module `Log.Make_Conversion`

Parameters

module Log : Tracelog.S

module Sub : Sig.BASE

Signature

val ar0 : 
  ('a -> Stdlib.Format.formatter -> 'b -> unit) ->
  (Stdlib.Format.formatter -> unit) ->
  ('a -> 'b) ->
  'a ->
  'b

val ar1 : 
  ('a -> Stdlib.Format.formatter -> 'b -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'c -> unit) ->
  (Stdlib.Format.formatter -> unit) ->
  ('a -> 'b -> 'c) ->
  'a ->
  'b ->
  'c

val ar2 : 
  ('a -> Stdlib.Format.formatter -> 'b -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'c -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'd -> unit) ->
  (Stdlib.Format.formatter -> unit) ->
  ('a -> 'b -> 'c -> 'd) ->
  'a ->
  'b ->
  'c ->
  'd

val ar3 : 
  ('a -> Stdlib.Format.formatter -> 'b -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'c -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'd -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'e -> unit) ->
  (Stdlib.Format.formatter -> unit) ->
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  'a ->
  'b ->
  'c ->
  'd ->
  'e

module Arity : sig ... end

type boolean = Sub.boolean

type integer = unit

type enum = Sub.enum

type bitvector = Sub.binary

type 'a pp = Sub.Context.t -> Stdlib.Format.formatter -> 'a -> unit

val bool_printer : 
  Sub.Context.t ->
  Stdlib.Format.formatter ->
  Sub.boolean ->
  unit

val enum_printer : Sub.Context.t -> Stdlib.Format.formatter -> Sub.enum -> unit

val integer_printer : 'a -> 'b

val bv_printer : 
  size:Units.In_bits.t ->
  Sub.Context.t ->
  Stdlib.Format.formatter ->
  Sub.binary ->
  unit

val prod_printer : 
  ('a -> Stdlib.Format.formatter -> 'b -> unit) ->
  ('a -> Stdlib.Format.formatter -> 'c -> unit) ->
  'a ->
  Stdlib.Format.formatter ->
  ('b * 'c) ->
  unit

Module Log.Make_Conversion

Parameters

Signature

Module `Log.Make_Conversion`