type error =
  | Invalid_pill of string
  | Unsupported of string

val boot_ivory : State.t -> string -> (unit, error) result
val boot_solid : ?limit:int -> ?apply:(State.t -> Noun.noun -> Noun.noun) -> State.t -> string -> (unit, error) result
val boot_solid_lifecycle : State.t -> string -> (unit, error) result

(* Utility functions *)
val cue_file : ?verbose:bool -> string -> Noun.noun
val parse_solid : Noun.noun -> (Noun.noun * Noun.noun * Noun.noun, error) result
val run_lifecycle : Noun.noun -> Noun.noun