package gospel

  1. Overview
  2. Docs
type parse_env

Parsing environment

val penv : string list -> Gospel.Utils.Sstr.t -> parse_env

`penv load_paths module_nm` creates a `parse_env` for typing a module with name `module_nm`. The paths in `load_paths` are to be used when searching for modules dependencies.

`process_sig_item penv muc s` returns a new module under construction after type checking `s` and the typed signature obtained from `s` and `muc`.

the same as above but it drops the typed signature

OCaml

Innovation. Community. Security.