package owi

  1. Overview
  2. Docs
package owi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module M.Module_to_run

runnable module

val env : t -> Env.t
val modul : t -> Simplified.modul
val to_run : t -> Types.simplified Types.expr list