package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val add_mod_25519 : 
  ?valid:bool ->
  ?sub:bool ->
  string ->
  x:Plompiler.Utils.Z.t ->
  y:Plompiler.Utils.Z.t ->
  z:Plompiler.Utils.Z.t ->
  qm:Plompiler.Utils.Z.t ->
  tj:Plompiler.Utils.Z.t ->
  case

val mod_add_tests_25519 : case list

val add_mod_64 : 
  ?valid:bool ->
  ?sub:bool ->
  string ->
  x:Plompiler.Utils.Z.t ->
  y:Plompiler.Utils.Z.t ->
  z:Plompiler.Utils.Z.t ->
  qm:Plompiler.Utils.Z.t ->
  case

val mod_add_tests_64 : case list

val mul_mod_25519 : 
  ?valid:bool ->
  ?div:bool ->
  string ->
  x:Plompiler.Utils.Z.t ->
  y:Plompiler.Utils.Z.t ->
  z:Plompiler.Utils.Z.t ->
  qm:Plompiler.Utils.Z.t ->
  t1:Plompiler.Utils.Z.t ->
  t2:Plompiler.Utils.Z.t ->
  case

val mod_mul_tests_25519 : case list

val mul_mod_64 : 
  ?valid:bool ->
  string ->
  x:Plompiler.Utils.Z.t ->
  y:Plompiler.Utils.Z.t ->
  z:Plompiler.Utils.Z.t ->
  qm:Plompiler.Utils.Z.t ->
  case

val mod_mul_tests_64 : case list

val list : case list