METAPlugin (u.966d1048153bbd989320d43a78dc8ede.oasis.0.4.11.doc.oasis.builtin-plugins.METAPlugin)

type meta_type =

| METALibrary
| METASyntax

type t = {

enable : bool;
description : string option;
meta_type : meta_type;
requires : string list option;
extra_lines : string list;

}

val plugin : [> `Extra ] * string * OASISVersion.t option

val self_id : OASISPlugin.Extra.self_t

val all_id : OASISPlugin.all_t

val feature_extra_lines : OASISFeatures.t

val pivot_data : t OASISPlugin.prop

val generator : PropList.Data.t -> t

val pp_print_meta : 
  OASISTypes.package ->
  t ->
  (OASISTypes.name -> OASISTypes.findlib_full) ->
  Format.formatter ->
  OASISFindlib.group_t ->
  unit

val main : 
  OASISPlugin.context_act ->
  OASISTypes.package ->
  OASISPlugin.context_act

val init : unit -> unit