Module B0_file

type smeta
val loc_errf : smeta -> ('a, Format.formatter, unit, string) format4 -> 'a
type b0_boot = (string * smeta) list
type b0_include = (string * smeta) * (B0_std.Fpath.t * smeta)
type require = B00_ocaml.Lib.Name.t * smeta
type mod_use = B0_std.Fpath.t * smeta
type t
val of_string : file:B0_std.Fpath.t -> string -> (t, string) result
val file : t -> B0_std.Fpath.t
val b0_boots : t -> b0_boot list
val b0_includes : t -> b0_include list
val requires : t -> require list
val mod_uses : t -> mod_use list
val ocaml_unit : t -> string * smeta
val pp_dump : t B0_std.Fmt.t
val pp_locs : t B0_std.Fmt.t
type expanded
val expand : t -> (expanded, string) result
val expanded_file_manifest : expanded -> B0_std.Fpath.t list
val expanded_b0_boots : expanded -> b0_boot list
val expanded_b0_includes : expanded -> b0_include list
val expanded_requires : expanded -> require list
val expanded_src : expanded -> string