package gospel

You can search for identifiers within the package.

in-package search v0.2.0

gospel
- Gospel
  - Coercion
  - Dterm
    
    Mstr
  - Gospelstdlib
  - Identifier
    
    Ident
    
    Preid
  - Opprintast
  - Parser_frontend
  - Pps
  - Tast
  - Tast_helper
  - Tast_printer
  - Tmodule
    
    Mid
    
    Mstr
  - Tterm
    
    LS
    
    Mls
    
    Sls
    
    Svs
    
    Vs
  - Ttypes
    
    Htv
    
    Mts
    
    Mtv
    
    Mxs
    
    Ts
    
    Tvar
    
    Xs
  - Typing
  - Uast
  - Uattr2spec
  - Ulexer
  - Uparser
  - Upretty_printer
  - Utils
    
    Fmt
    
    Sstr

Legend:
Library
Module
Module type
Parameter
Class
Class type

val split_at_f : ('a -> bool) -> 'a list -> 'a list * 'a list

split_at_f f l is the partition (l1, l2) such that l1 is the longest prefix where the predicate f holds. The order of the elements is not changed.

val split_at_i : int -> 'a list -> 'a list * 'a list

split_at_i i l is the partition (l1, l2) such that l1 contains the first i elements. The order of the elements is not changed.

module Fmt : sig ... end

exception TypeCheckingError of string

exception NotSupported of string

exception Located of Ppxlib.Location.t * exn

val error : loc:Ppxlib.Location.t -> exn -> 'a

error ~loc e raises e, wrapped in Located(loc, e).

val check : loc:Ppxlib.Location.t -> bool -> exn -> unit

check ~loc b e checks if b is true, otherwise raises e, wrapped in Located(loc, e).

val error_report : loc:Ppxlib.Location.t -> string -> 'a

error_report ~loc e is error ~loc (TypeCheckingError s).

val check_report : loc:Ppxlib.Location.t -> bool -> string -> unit

check_report ~loc b e is check ~loc b (TypeCheckingError s). *

val not_supported : loc:Ppxlib.Location.t -> string -> 'a

not_supported ~loc s raises NotSupported s, wrapped in Located(loc, e).

module Sstr : Set.S with type elt = string

String sets.