package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type r = float

module Map : sig ... end

module R : sig ... end

type t = r Map.t

val zero : t

val add : t -> t -> t

val neg : t -> t

val compare : t -> t -> int

val equal : t -> t -> bool

val pp : Format.formatter -> t -> unit

val hash : t -> int

val smul : R.t -> t -> t

module Basis : sig ... end

type basis = Basis.t

val delta : basis -> t

val eval : t -> basis -> R.t

val bind : t -> (basis -> t) -> t

val of_list : (basis * R.t) list -> t

val fold : (basis -> R.t -> 'a -> 'a) -> t -> 'a -> 'a