jon.recoil.org

Module Lang.ValueSource

type value =
  1. | Abstract
  2. | External of string list
module Zero_alloc : sig ... end
type attr =
  1. | Zero_alloc of Zero_alloc.t
type t = {
  1. id : Paths.Identifier.Value.t;
  2. source_loc : Paths.Identifier.SourceLocation.t option;
  3. value : value;
  4. doc : Comment.docs;
  5. type_ : TypeExpr.t;
  6. ext_attrs : attr list;
  7. modalities : Modalities.t;
}