package elpi

  1. Overview
  2. Docs
val term : Format.formatter -> Data.term -> unit
val constraints : Format.formatter -> Data.constraints -> unit
val custom_state : Format.formatter -> Data.custom_state -> unit
val query : Format.formatter -> Compile.query -> unit
module Ast : sig ... end
OCaml

Innovation. Community. Security.