package ppx_deriving_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

ppx_deriving_qcheck.arbitrary
- Arbitrary
ppx_deriving_qcheck.common
- Common
  - Ast_helpers
    
    Expression
    
    Pattern
    
    Structure
    
    Type
  - Error
  - Helpers
    
    Info
    
    Pairs
  - Payload
  - Pp

Legend:
Library
Module
Module type
Parameter
Class
Class type

val core_type : 
  ?loc:Ppxlib.location ->
  ?loc_stack:Ppxlib.location_stack ->
  ?attributes:Ppxlib.attributes ->
  Ppxlib.core_type_desc ->
  Ppxlib.core_type

val constr_one : 
  ?loc:Ppxlib.location ->
  ?loc_stack:Ppxlib.location_stack ->
  ?attributes:Ppxlib.attributes ->
  Ppxlib.longident ->
  Ppxlib.longident ->
  Ppxlib.core_type

constr_one x y build a special kind of Ptyp_constr

example: x <- 'a y <- t constr_one 'a t => 'a t