Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 38ec64db49
Fetching contributors…

Cannot retrieve contributors at this time

42 lines (30 sloc) 0.834 kB
(*
* (c) Andreas Rossberg 1999-2007
*
* Standard ML interfaces
*
* Definition, Section 7.2
*)
signature INTER =
sig
(* Import *)
type longTyCon = IdsCore.longTyCon
type Env = DynamicObjectsCore.Env
type Int = DynamicObjectsModule.Int
type ValInt = DynamicObjectsModule.ValInt
type TyInt = DynamicObjectsModule.TyInt
type StrInt = DynamicObjectsModule.StrInt
(* Operations *)
val empty : Int
val fromSI : StrInt -> Int
val fromTI : TyInt -> Int
val fromVI : ValInt -> Int
val fromVIandTI : ValInt * TyInt -> Int
val SIof : Int -> StrInt
val TIof : Int -> TyInt
val VIof : Int -> ValInt
val plus : Int * Int -> Int
val findLongTyCon : Int * longTyCon -> ValInt option
val Inter : Env -> Int
val cutdown : Env * Int -> Env
end;
Jump to Line
Something went wrong with that request. Please try again.