package codept-lib

  1. Overview
  2. Docs

Parameters

module S : simple_core

Signature

type t = private
  1. | Simple of S.t
  2. | Apply of {
    1. f : t;
    2. x : t;
    3. proj : Simple.t option;
    }
val sch : t Schematic.t
exception Functor_not_expected
val concrete : t -> S.t
val concrete_with_f : t -> S.t
val multiples : t -> S.t list
val pure : S.t -> t
val app : t -> t -> Simple.t option -> t
val pp : Format.formatter -> t -> unit
val prefix : t -> string
module Map : Map.S with type key = t
type 'a map = 'a Map.t
OCaml

Innovation. Community. Security.