asn1-combinators 0.2.5 · OCaml Package

module OID = Asn_oid

val id : 'a -> 'a

val const : 'a -> 'b -> 'a

val (&.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

val opt : 'a -> 'a option -> 'a

type 'a endo = 'a -> 'a

type ('a, 'b) sum =

val strf : ('a, Format.formatter, unit, string) Pervasives.format4 -> 'a

val pf : 
  Format.formatter ->
  ('a, Format.formatter, unit) Pervasives.format ->
  'a

val kstrf : 
  (string -> 'a) ->
  ('b, Format.formatter, unit, 'a) Pervasives.format4 ->
  'b

val invalid_arg : ('a, unit, string, 'b) Pervasives.format4 -> 'a

val pp_list : 
  sep:(Format.formatter -> unit -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val pp_dump_list : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val pp_cs : Format.formatter -> Cstruct.t -> unit

module Tag : sig ... end

type tag = Tag.t

type tags = Tag.t list

module Generic : sig ... end

type bits = int * Cstruct.t

type 'a rand = unit -> 'a

type _ asn =

and _ element =

and _ sequence =

and _ prim =

val label : string option -> string

val seq_tag : Tag.t

val set_tag : Tag.t

val tag_of_p : 'a. 'a prim -> tag

val tag_set : 'a. 'a asn -> tags

val tag : 'a. 'a -> 'a asn -> tag

type error = [

]

val pp_error : Format.formatter -> [< `Parse of string ] -> unit

exception Ambiguous_syntax

exception Parse_error of error

val error : error -> 'a

val parse_error : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

module FSet : sig ... end

val validate : 'a asn -> unit

package asn1-combinators