On this page:
4.1 mischief/  require:   Importing from Modules
dynamic-in
require/  provide
quote-require
4.2 mischief/  module:   Module Paths and Names
resolve-module-path
module-name?
7.7

4 Modules

4.1 mischief/require: Importing from Modules

 (require mischief/require) package: mischief

syntax

(dynamic-in mod-id)

Equivalent to 'mod-id when used in require.

syntax

(require/provide require-spec ...)

Requires the require-specs and provides all the resulting bindings. When each require-spec is a module path, equivalent to:
(begin
  (require require-spec ...)
  (provide (all-from-out require-spec ...)))

syntax

(quote-require require-spec ...)

Produces a list of symbols representing the names imported by the require-specs.

4.2 mischief/module: Module Paths and Names

 (require mischief/module) package: mischief

procedure

(resolve-module-path mod-path 
  [#:namespace namespace 
  #:module-name-resolver resolver 
  #:relative-to relative-to 
  #:syntax-context syntax-context 
  #:load? load?]) 
  resolved-module-path?
  mod-path : module-path?
  namespace : namespace? = (current-namespace)
  resolver : 
(-> module-path?
    (or/c resolved-module-path? #false)
    (or/c syntax? #false)
    boolean?
    resolved-module-path?)
   = (current-module-name-resolver)
  relative-to : (or/c resolved-module-path? #false) = #false
  syntax-context : (or/c syntax? #false) = #false
  load? : boolean? = #true
Resolves mod-path. Equivalent to:
(parameterize {[current-namespace namespace]}
  (resolver mod-path relative-to syntax-context load?))

procedure

(module-name? x)  boolean?

  x : any/c
Recognizes values that are valid results for resolved-module-path-name.