package slap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

slap
- Slap
- Slap_C
  - Mat
    
    CNTMAT
    
    DSCMAT
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
  - Vec
    
    CNTVEC
    
    DSCVEC
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
- Slap_D
  - Mat
    
    CNTMAT
    
    DSCMAT
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
  - SYEVR_RESULT
  - Vec
    
    CNTVEC
    
    DSCVEC
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
- Slap_S
  - Mat
    
    CNTMAT
    
    DSCMAT
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
  - SYEVR_RESULT
  - Vec
    
    CNTVEC
    
    DSCVEC
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
- Slap_Z
  - Mat
    
    CNTMAT
    
    DSCMAT
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
  - Vec
    
    CNTVEC
    
    DSCVEC
    
    Of_array
    
    X
    
    Of_bigarray
    
    X
    
    Of_list
    
    X
- Slap_common
- Slap_io
  - Context
  - Toplevel
- Slap_mat
- Slap_misc
- Slap_size
  - Of_int_dyn
    
    N
  - SIZE
- Slap_vec
- Slap_version
slap.ppx
- Slap_ppx
slap.top
- Install_top

Legend:
Library
Module
Module type
Parameter
Class
Class type

A functor version of of_int_dyn.

Parameters

module N : sig ... end

Signature

type n

A generative phantom type.

val value : n t

A dynamically-decided size with type like exists n. n Size.t.