package oasis

  1. Overview
  2. Docs

META generator

  • author Sylvain Le Gall
type meta_type =
  1. | METALibrary
  2. | METASyntax
type t = {
  1. enable : bool;
  2. description : string option;
  3. meta_type : meta_type;
  4. requires : string list option;
  5. extra_lines : string list;
}
val plugin : [> `Extra ] * string * OASISVersion.t option
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 init : unit -> unit