package regenerate

You can search for identifiers within the package.

in-package search v0.2.0

package regenerate

regenerate
- Regenerate
  - Make
    
    IMap
    
    Segment
    
    Sigma
    
    Sigma_star
    
    Word
  - Regex
  - SIGMA
  - Word
    
    List
    
    C
    
    S
    
    String
regenerate.segments
- Segments
  - OrderedMonoid
  - S
  - Trie
    
    Make
    
    W
    
    String
    
    WORD

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a regex = 'a Regex.t

module Regex : sig ... end

module Word : sig ... end

module Segments = Segments

module type SIGMA = sig ... end

module Make
  (Word : Word.S)
  (Segment : Segments.S with type elt = Word.t)
  (Sigma : sig ... end) : 
  sig ... end

val arbitrary : 
  (module Word.S with type char = 'a and type t = 'b) ->
  (module Segments.S with type elt = 'b) ->
  ?skip:int ->
  compl:bool ->
  pp:'a Fmt.t ->
  samples:int ->
  'a list ->
  ('a Regex.t * 'b list * 'b list) QCheck.arbitrary

val parse : string -> (char Regex.t, [> `Not_supported | `Parse_error ]) result