package oasis

You can search for identifiers within the package.

in-package search v0.2.0

Module `METAPlugin`Source

META generator

author Sylvain Le Gall

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

package oasis

Module METAPluginSource

Module `METAPlugin`Source