package lascar

  1. Overview
  2. Docs
package lascar
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M1 : T
module M2 : T
module M3 : T

Signature

include T with type t = M1.t * M2.t * M3.t
type t = M1.t * M2.t * M3.t
val to_string : t -> string
val mk : M1.t -> M2.t -> M3.t -> t