package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_015_PtLimaPt.Script_list`Source

Sourceval empty : 'a Script_typed_ir.boxed_list

Empty list.

Sourceval cons : 'a -> 'a Script_typed_ir.boxed_list -> 'a Script_typed_ir.boxed_list

Prepend an element.