package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

type 'a input = 'a L.Input.input

val scalar : Csir.Scalar.t -> scalar input

val to_scalar : scalar input -> Csir.Scalar.t

val bool : bool -> bool input

val to_bool : bool input -> bool

val unit : unit input

val pair : 'a input -> 'b input -> ('a * 'b) input

val to_pair : ('a * 'b) input -> 'a input * 'b input

val list : 'a input list -> 'a list input

val to_list : 'a list input -> 'a input list

val with_implicit_bool_check : ('a repr -> bool repr t) -> 'a input -> 'a input

val with_assertion : ('a repr -> unit repr t) -> 'a input -> 'a input

type 'a t = 'a input