package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

type case_tag =

type 't case

val case : 
  title:string ->
  ?description:string ->
  case_tag ->
  'a encoding ->
  ('t -> 'a option) ->
  ('a -> 't) ->
  't case

val matched : 
  ?tag_size:tag_size ->
  (int * string) ->
  'a encoding ->
  'a ->
  match_result

val matching : 
  ?tag_size:tag_size ->
  't matching_function ->
  't case list ->
  't encoding

val union : ?tag_size:tag_size -> 't case list -> 't encoding