module Filepath:functor (X:siginclude Parameter_sig.Input_with_argval existence :Filepath.existenceval file_kind :stringused in error message if the file does not exist where it should and vice-versa.
end) ->Parameter_sig.Filepath
| Parameters: |
|
include Parameter_sig.S_no_parameter
val parameter : Typed_parameter.t