octez-protocol-012-Psithaca-libs 19.1

val seq : 
  loc:'a ->
  ('b, 'c) Tezos_micheline.Micheline.node list ->
  ('b, 'c) Tezos_micheline.Micheline.node

val pair : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val none : 
  loc:'a ->
  unit ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val some : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val left : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val right : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val int : loc:'a -> Z.t -> ('b, 'c) Tezos_micheline.Micheline.node

val bytes : loc:'a -> Stdlib.Bytes.t -> ('b, 'c) Tezos_micheline.Micheline.node

val unit_t : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val unit : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val lambda_from_string : 
  string ->
  ((Tezos_micheline.Micheline.canonical_location,
     Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
     Tezos_micheline.Micheline.node,
    Tezos_error_monad.Error_monad.tztrace)
    Stdlib.result

val lambda_t : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val operation_t : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val operations_t : 
  loc:'a ->
  ('b, Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

package octez-protocol-012-Psithaca-libs