Up – hardcaml_verify » Hardcaml_verify_kernel » Tseitin » Make » 1-B

Parameter `Make.1-B`

type t

val (~:) : t -> t