module Extensions:sig
..end
type'a
or_error =[ `Error of string | `Ok of 'a ]
typestate =
Flex_state.t
typeenv_action =
(module Env.S) -> unit
typeprec_action =
state -> Compute_prec.t -> Compute_prec.t
Compute_prec
type'a
state_actions =('a -> state -> state) list
type
t = {
|
name : |
|||
|
prio : |
(* |
the lower, the more urgent, the earlier it is loaded
| *) |
|
start_file_actions : |
|||
|
post_parse_actions : |
|||
|
post_typing_actions : |
|||
|
post_cnf_actions : |
|||
|
ord_select_actions : |
|||
|
ctx_actions : |
|||
|
prec_actions : |
|||
|
env_actions : |
Flex_state.t
during preprocessing, or modify the Env_intf.S
once it is built.val default : t
val register : t -> unit
val extensions : unit -> t list
val by_name : string -> t option
val names : unit -> string Sequence.t