package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a 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