Up – Package index » oasis » Library oasis.builtin-plugins » NonePlugin

Module `NonePlugin`

Plugin to handle "none" generation

author Sylvain Le Gall

val not_implemented : ctxt:'a -> string -> 'b -> 'c -> 'd

val section_not_implemented : 
  ctxt:'a ->
  string ->
  'b ->
  'c ->
  'd ->
  'e ->
  ctxt:'f ->
  'g

val std_no_generate : 
  string ->
  'a ->
  'b ->
  'a * (ctxt:'c -> 'd -> 'e -> 'f, 'g) OASISPlugin.setup_changes

val section_no_generate : 
  string ->
  'a ->
  'b ->
  (OASISTypes.common_section * 'c) ->
  'a * (ctxt:'d -> 'e -> 'f -> 'g, 'h) OASISPlugin.setup_changes

val init : unit -> unit