package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.Specif

type 'a coq_sig = 'a
type ('a, 'p) sigT =
  1. | Coq_existT of 'a * 'p
val projT1 : ('a1, 'a2) sigT -> 'a1
val projT2 : ('a1, 'a2) sigT -> 'a2