jon.recoil.org

Module Attribute_handler.FloatingSource

type poly := [
  1. | `structure_item
  2. | `signature_item
]
Sourcemodule Context : sig ... end
Sourcemodule Define : sig ... end
Sourcemodule Poly : sig ... end
Sourcetype t =
  1. | Define of Define.t
  2. | Poly of Poly.t Explicitness.With.t
Sourceval convert : ('a, poly) Context.t -> 'a -> (t option, Syntax_error.t) result

Check if the provided ast node is a floating template attribute, and evaluate its contents. Marks the attribute as seen. Returns an Error _ if the payload of the attribute is malformed or inconsistent.