hediet

import * as remarkAbstract from "remark";

interface Position {}

interface Node<T extends string = string> {
    position: Position;
    type: T;
}

interface NodeList<T extends string = string, TItem extends Node = Node>

hediet

import * as React from "react";
import { Container } from "inversify";

export function ref<T>(name: string): { T: T; id: string } {
	return {
		T: null!,
		id: name
	};
}

hediet

a
aaaaababb
ababa
abababa
b
babab
babababab

hediet

// tslint:disable: no-shadowed-variable

/**
 * Describes a new configuration.
 */
export function newConfig(): Config {
	return new (Config as any)();
}

/**

hediet

// shared
export const debuggerProxyContract = contract({
	server: {
		keepAlive: notificationContract({}),
	},
	client: {
		serverStarted: notificationContract({ params: type({ port: number }) }),
		clientConnected: notificationContract({}),
	},
});

hediet

type SchemaType = PrimitiveSchema | ObjectSchema | ParametrizedObjectSchema;

interface PrimitiveSchema<T = any> {
	kind: "primitive";
	type: T;
}

interface Fields {
	[name: string]: SchemaType;
}

hediet

function tex(str: TemplateStringsArray, ...data: string[]) { }

const c = Sigma* *1
const Sigma = "uiae";
const SigmaS = "";
const x =
	(
		<def>
			Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung
			{A : Sigma* -> Pot(Gamma*)}

hediet

{
	"dependencies": {
		"classnames": {
			"ref": "classnames@2.2.5_1"
		},
		"mobx": {
			"ref": "mobx@3.2.0_2"
		},
		"mobx-react": {
			"ref": "mobx-react@4.2.2_3"

hediet

interface Acceptor<T extends string> {
	accept(x: UserOf<T>): any;
	allow<T1 extends string>(x: T1): Acceptor<T|T1>;
}

interface UserOf<T extends string> {
	_brand: T;
}

function use<T extends string>(name: T): UserOf<T> { return null!; }

hediet

type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];