type directive =
| Directory of string
| Load of string
val init :
verbose:bool ->
silent:bool ->
verbose_findlib:bool ->
directives:directive list ->
packages:string list ->
predicates:string list ->
unit ->
t
val eval : t -> string list -> (string list, string list) result