package pa_solution

You can search for identifiers within the package.

in-package search v0.2.0

A DSL for solving programming contest problems

Install

sha256=dd680ccb830a2eb5827f80fc5e2f406bf282a2606ea949d2d54f5dc06475baaf

md5=04697a0f4251207142779dc6dc82d612

Sourcetype spec =

Sourceval _loc : Camlp4.PreCast.Loc.t

Sourceval gensym : unit -> string

Sourceval identity : Camlp4.PreCast.Ast.expr

Sourceval in_ch : string

Sourceval scan : string -> Camlp4.PreCast.Ast.expr

Sourceval compile_reader : spec -> Camlp4.PreCast.Ast.expr

Sourceval out_ch : string

Sourceval print : Camlp4.PreCast.Ast.expr -> string -> Camlp4.PreCast.Ast.expr

Sourceval compile_writer : spec -> Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr

val compile_solution : 
  (Camlp4.PreCast.Ast.patt * spec) list ->
  spec ->
  Camlp4.PreCast.Ast.expr ->
  Camlp4.PreCast.Ast.str_item