package tezos-benchmark

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

Module Model.InstantiateSource

Parameters

module X : Costlang.S
module M : Model_impl

Signature

Sourcetype 'a repr = 'a X.repr
Sourcetype size = X.size
type arg_type = M.arg_type
type model_type
val arity : (size, model_type, arg_type) arity
Sourceval model : arg_type -> size repr
OCaml

Innovation. Community. Security.