val provide : Ecaml.Symbol.t -> unit(describe-function 'provide)
val require : Ecaml.Symbol.t -> unit(describe-function 'require)
val is_provided : Ecaml.Symbol.t -> bool(describe-function 'featurep)
val all_provided : unit -> Ecaml.Symbol.t list(describe-variable 'features)