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.
val process_sig_item :
parse_env ->
Tmodule.module_uc ->
Uast.s_signature_item ->
Tmodule.module_uc * Tast.signature_item`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`.
val type_sig_item :
parse_env ->
Tmodule.module_uc ->
Uast.s_signature_item ->
Tmodule.module_ucthe same as above but it drops the typed signature