package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of miniKanren relational (logic) EDSL: PPX extensions

Install

sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

include module type of struct include Ppxlib.Ast_builder.Default.Located end

Sourcetype 'a t = 'a Ppxlib.Loc.t

Sourceval loc : _ t -> Ppxlib.Location.t

Sourceval mk : loc:Ppxlib.Location.t -> 'a -> 'a t

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Sourceval map_lident : string t -> Ppxlib.Longident.t t

Sourceval lident : loc:Ppxlib.Location.t -> string -> Ppxlib.Longident.t t

Sourceval map_loc : f:('a -> 'b) -> 'a Ppxlib.loc -> 'b Ppxlib.loc

val sprintf : 
  loc:Ppxlib.Location.t ->
  ('a, Caml.Format.formatter, unit, string t) format4 ->
  'a