package owi

  1. Overview
  2. Docs

Module to typecheck a simplified module.

val module_ : Simplify.simplified_module -> (unit, string) Stdlib.Result.t

typecheck a given module

OCaml

Innovation. Community. Security.