package datalog

  1. Overview
  2. Docs
type t
type 'a embedding
val embed : unit -> 'a embedding
val pack : 'a embedding -> 'a -> t
val unpack : 'a embedding -> t -> 'a option
val compatible : 'a embedding -> t -> bool
OCaml

Innovation. Community. Security.