jon.recoil.org

Module Language_extension.ExistSource

Existentially packed language extension

Sourcetype t =
  1. | Pack : 'a t -> t
Sourceval to_string : t -> string
Sourceval is_enabled : t -> bool
Sourceval is_erasable : t -> bool
Sourceval to_command_line_strings : t -> string list

Returns a list of all strings, like "layouts_beta", that correspond to this extension.

Sourceval all : t list