package hardcaml_verify

  1. Overview
  2. Docs
type input = {
  1. name : Base.string;
  2. value : Base.string;
}
include Model with type input := input
val sexp_of_input : input -> Sexplib0.Sexp.t
val get : ?show_hidden:Base.bool -> t -> Base.int Base.list Sat.t -> input Base.list Sat.t
OCaml

Innovation. Community. Security.