package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val copyrights : (t, string option) Fieldslib.Field.t
val license : (t, string option) Fieldslib.Field.t
val url : (t, string option) Fieldslib.Field.t
val provides : (t, string list) Fieldslib.Field.t
val requires : (t, string list) Fieldslib.Field.t
val date : (t, float) Fieldslib.Field.t
val author : (t, string) Fieldslib.Field.t
val main : (t, string) Fieldslib.Field.t
val desc : (t, string) Fieldslib.Field.t
val version : (t, string) Fieldslib.Field.t
val name : (t, string) Fieldslib.Field.t
val fold : init:'acc__0 -> name:('acc__0 -> (t, string) Fieldslib.Field.t -> 'acc__1) -> version:('acc__1 -> (t, string) Fieldslib.Field.t -> 'acc__2) -> desc:('acc__2 -> (t, string) Fieldslib.Field.t -> 'acc__3) -> main:('acc__3 -> (t, string) Fieldslib.Field.t -> 'acc__4) -> author:('acc__4 -> (t, string) Fieldslib.Field.t -> 'acc__5) -> date:('acc__5 -> (t, float) Fieldslib.Field.t -> 'acc__6) -> requires:('acc__6 -> (t, string list) Fieldslib.Field.t -> 'acc__7) -> provides:('acc__7 -> (t, string list) Fieldslib.Field.t -> 'acc__8) -> url:('acc__8 -> (t, string option) Fieldslib.Field.t -> 'acc__9) -> license:('acc__9 -> (t, string option) Fieldslib.Field.t -> 'acc__10) -> copyrights:('acc__10 -> (t, string option) Fieldslib.Field.t -> 'acc__11) -> 'acc__11
val make_creator : name: ((t, string) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> string) * 'acc__1) -> version: ((t, string) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> string) * 'acc__2) -> desc: ((t, string) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> string) * 'acc__3) -> main: ((t, string) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> string) * 'acc__4) -> author: ((t, string) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> string) * 'acc__5) -> date: ((t, float) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> float) * 'acc__6) -> requires: ((t, string list) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> string list) * 'acc__7) -> provides: ((t, string list) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> string list) * 'acc__8) -> url: ((t, string option) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> string option) * 'acc__9) -> license: ((t, string option) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> string option) * 'acc__10) -> copyrights: ((t, string option) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> string option) * 'acc__11) -> 'acc__0 -> ('input__ -> t) * 'acc__11
val create : name:string -> version:string -> desc:string -> main:string -> author:string -> date:float -> requires:string list -> provides:string list -> url:string option -> license:string option -> copyrights:string option -> t
val map : name:((t, string) Fieldslib.Field.t -> string) -> version:((t, string) Fieldslib.Field.t -> string) -> desc:((t, string) Fieldslib.Field.t -> string) -> main:((t, string) Fieldslib.Field.t -> string) -> author:((t, string) Fieldslib.Field.t -> string) -> date:((t, float) Fieldslib.Field.t -> float) -> requires:((t, string list) Fieldslib.Field.t -> string list) -> provides:((t, string list) Fieldslib.Field.t -> string list) -> url:((t, string option) Fieldslib.Field.t -> string option) -> license:((t, string option) Fieldslib.Field.t -> string option) -> copyrights:((t, string option) Fieldslib.Field.t -> string option) -> t
val iter : name:((t, string) Fieldslib.Field.t -> unit) -> version:((t, string) Fieldslib.Field.t -> unit) -> desc:((t, string) Fieldslib.Field.t -> unit) -> main:((t, string) Fieldslib.Field.t -> unit) -> author:((t, string) Fieldslib.Field.t -> unit) -> date:((t, float) Fieldslib.Field.t -> unit) -> requires:((t, string list) Fieldslib.Field.t -> unit) -> provides:((t, string list) Fieldslib.Field.t -> unit) -> url:((t, string option) Fieldslib.Field.t -> unit) -> license:((t, string option) Fieldslib.Field.t -> unit) -> copyrights:((t, string option) Fieldslib.Field.t -> unit) -> unit
val for_all : name:((t, string) Fieldslib.Field.t -> bool) -> version:((t, string) Fieldslib.Field.t -> bool) -> desc:((t, string) Fieldslib.Field.t -> bool) -> main:((t, string) Fieldslib.Field.t -> bool) -> author:((t, string) Fieldslib.Field.t -> bool) -> date:((t, float) Fieldslib.Field.t -> bool) -> requires:((t, string list) Fieldslib.Field.t -> bool) -> provides:((t, string list) Fieldslib.Field.t -> bool) -> url:((t, string option) Fieldslib.Field.t -> bool) -> license:((t, string option) Fieldslib.Field.t -> bool) -> copyrights:((t, string option) Fieldslib.Field.t -> bool) -> bool
val exists : name:((t, string) Fieldslib.Field.t -> bool) -> version:((t, string) Fieldslib.Field.t -> bool) -> desc:((t, string) Fieldslib.Field.t -> bool) -> main:((t, string) Fieldslib.Field.t -> bool) -> author:((t, string) Fieldslib.Field.t -> bool) -> date:((t, float) Fieldslib.Field.t -> bool) -> requires:((t, string list) Fieldslib.Field.t -> bool) -> provides:((t, string list) Fieldslib.Field.t -> bool) -> url:((t, string option) Fieldslib.Field.t -> bool) -> license:((t, string option) Fieldslib.Field.t -> bool) -> copyrights:((t, string option) Fieldslib.Field.t -> bool) -> bool
val to_list : name:((t, string) Fieldslib.Field.t -> 'elem__) -> version:((t, string) Fieldslib.Field.t -> 'elem__) -> desc:((t, string) Fieldslib.Field.t -> 'elem__) -> main:((t, string) Fieldslib.Field.t -> 'elem__) -> author:((t, string) Fieldslib.Field.t -> 'elem__) -> date:((t, float) Fieldslib.Field.t -> 'elem__) -> requires:((t, string list) Fieldslib.Field.t -> 'elem__) -> provides:((t, string list) Fieldslib.Field.t -> 'elem__) -> url:((t, string option) Fieldslib.Field.t -> 'elem__) -> license:((t, string option) Fieldslib.Field.t -> 'elem__) -> copyrights:((t, string option) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 list
module Direct : sig ... end
OCaml

Innovation. Community. Security.