Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
In order to implement quotations one may * need to stick some data into the compiler state that can indeed be * extended. A piece of compiler state can also be kept and used at runtime, * e.g. if it contains some custom constraints, see CustomConstraint
val declare :
name:string ->
init:(unit -> 'a) ->
pp:(Stdlib.Format.formatter -> 'a -> unit) ->
'a component