package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = MakeP(Thread)(Symbolic_choice.Minimalist).Module_to_run.t = {

}

runnable module

val env : t -> Env.t

val modul : t -> Simplified.modul

val to_run : t -> Types.simplified Types.expr list