package smtml

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

Module DolmenIntf.AdtSource

Sourcemodule Cons : sig ... end
Sourcetype t = DExpr.ty_def * (func_decl * (ty * func_decl option) list) list
Sourceval make : string -> Cons.t list -> t
Sourceval ty : t -> ty
Sourceval constructor : string -> t -> func_decl option
Sourceval selector : string -> t -> func_decl option
Sourceval tester : string -> t -> func_decl option