package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val modul : 
  Concrete.Env.t Env_id.collection ->
  Concrete.Module_to_run.t ->
  unit Result.t

val exec_vfunc_from_outside : 
  locals:V.t list ->
  env:Link_env.t' ->
  envs:Concrete.Env.t Env_id.collection ->
  Func_intf.t ->
  V.t list Result.t

val exec_ibinop : V.t list -> Types.nn -> Types.ibinop -> V.t list

val exec_iunop : V.t list -> Types.nn -> Types.iunop -> V.t list

val exec_itestop : V.t list -> Types.nn -> Types.itestop -> V.t list

val exec_irelop : V.t list -> Types.nn -> Types.irelop -> V.t list

val exec_itruncf : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list

val exec_itruncsatf : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list

val exec_ireinterpretf : V.t list -> Types.nn -> Types.nn -> V.t list

val exec_fbinop : V.t list -> Types.nn -> Types.fbinop -> V.t list

val exec_funop : V.t list -> Types.nn -> Types.funop -> V.t list

val exec_frelop : V.t list -> Types.nn -> Types.frelop -> V.t list

val exec_fconverti : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list

val exec_freinterpreti : V.t list -> Types.nn -> Types.nn -> V.t list