Module Plonk_types.Opt

type ('a, 'bool) t =
| Some of 'a
| None
| Maybe of 'bool * 'a
val to_yojson : ( 'a -> Yojson.Safe.t ) -> ( 'bool -> Yojson.Safe.t ) -> ( 'a, 'bool ) t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'bool Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'a, 'bool ) t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S2 with type ('a, 'bool) t := ( 'a, 'bool ) t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> ( Sexplib0__.Sexp.t -> 'b ) -> Sexplib0__.Sexp.t -> ( 'a, 'b ) t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> ( 'b -> Sexplib0__.Sexp.t ) -> ( 'a, 'b ) t -> Sexplib0__.Sexp.t
val compare : ( 'a -> 'a -> int ) -> ( 'bool -> 'bool -> int ) -> ( 'a, 'bool ) t -> ( 'a, 'bool ) t -> int
val hash_fold_t : ( Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'bool -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> ( 'a, 'bool ) t -> Ppx_hash_lib.Std.Hash.state
val equal : ( 'a -> 'a -> bool ) -> ( 'bool -> 'bool -> bool ) -> ( 'a, 'bool ) t -> ( 'a, 'bool ) t -> bool
val map : ( 'a, 'bool ) t -> f:( 'a -> 'b ) -> ( 'b, 'bool ) t
val value_exn : ( 'a, 'bool ) t -> 'a

value_exn o is v when o if Some v or Maybe (_, v).

  • raises Invalid_argument

    if o is None *

val to_option : ( 'a, 'bool ) t -> 'a option

value_exn o is Some v when o if Some v or Maybe (_, v), None otherwise

module Flag : sig ... end
val constant_layout_typ : ( 'b, bool, 'f ) Snarky_backendless.Typ.t -> true_:'b -> false_:'b -> Flag.t -> ( 'a_var, 'a, 'f ) Snarky_backendless.Typ.t -> dummy:'a -> dummy_var:'a_var -> ( ( 'a_var, 'b ) t, 'a option, 'f ) Snarky_backendless.Typ.t
val typ : ( 'b, bool, 'f ) Snarky_backendless.Typ.t -> Flag.t -> ( 'a_var, 'a, 'f ) Snarky_backendless.Typ.t -> dummy:'a -> ( ( 'a_var, 'b ) t, 'a option, 'f ) Snarky_backendless.Typ.t
module Early_stop_sequence : sig ... end

A sequence that should be considered to have stopped at the first occurence of Flag.t.No