METAPlugin (u.4a1422aea15893f5f09d22384617701f.oasis.0.4.11.doc.oasis.builtin-plugins.METAPlugin)

Sourcetype meta_type =

| METALibrary
| METASyntax

Sourcetype t = {

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

}

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

Sourceval self_id : OASISPlugin.Extra.self_t

Sourceval all_id : OASISPlugin.all_t

Sourceval feature_extra_lines : OASISFeatures.t

Sourceval pivot_data : t OASISPlugin.prop

Sourceval generator : PropList.Data.t -> t

Source

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

Source

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

Sourceval init : unit -> unit