Up – kimchi_backend » Kimchi_backend_common » Intf » Triple

Module type `Intf.Triple`

type elt

type t

val f0 : t -> elt

val f1 : t -> elt

val f2 : t -> elt