package comby-kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type hole_definition =
  1. | Delimited of string option * string option
val hole_definition_to_yojson : hole_definition -> Yojson.Safe.t
type hole_syntax =
  1. | Regex of string * char * string
val hole_syntax_to_yojson : hole_syntax -> Yojson.Safe.t
type t = {
  1. syntax : hole_syntax list;
  2. identifier : string;
}
val to_yojson : t -> Yojson.Safe.t
module type S = sig ... end
val default_metasyntax : Matchers__.Types.Metasyntax.t
val create : Matchers__.Types.Metasyntax.t -> (module Matchers__.Types.Metasyntax.S)
val default : (module Matchers__.Types.Metasyntax.S)
module Default : sig ... end
val json : Matchers__.Types.Metasyntax.t -> string