package tezos-plompiler

  1. Overview
  2. Docs

Module LibResult.InputSource

Sourcetype 'a input
Sourceval to_scalar : scalar input -> Csir.Scalar.t
Sourceval bool : bool -> bool input
Sourceval to_bool : bool input -> bool
Sourceval unit : unit input
Sourceval pair : 'a input -> 'b input -> ('a * 'b) input
Sourceval to_pair : ('a * 'b) input -> 'a input * 'b input
Sourceval list : 'a input list -> 'a list input
Sourceval to_list : 'a list input -> 'a input list
Sourceval with_implicit_bool_check : ('a repr -> bool repr t) -> 'a input -> 'a input
Sourceval with_assertion : ('a repr -> unit repr t) -> 'a input -> 'a input
Sourcetype 'a t = 'a input
OCaml

Innovation. Community. Security.